Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems
The Algorithmic Analysis of Hybrid Systems