P.H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. (1993)

by R Alur, C Courcoubetis, T A Henzinger, Ho
Venue:HS 1991 and HS 1992. LNCS,