Model Checking (Cyber Physical Systems Series) - [Version Originale]