Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems (1993)

by R Alur, C Courcoubetis, T A Henzinger, P-H Ho
Venue:Rischel (Eds.), Hybrid Systems, in: Lecture Notes in Computer Science