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