Model Checking (The Cyber-Physical Systems Series)