Hybrid systems III : verification and control - Alur, Rajeev, 1966-; Henzinger, T. A.; Sontag, Eduardo D.; Henzinger, T. A. (Lecture notes in computer science ;, 1996)