Hybrid automata: an algorithmic approach to the speci and veri of hybrid systems (1992)

by R Alur, C Courcoubetis, T Henzinger, P-H Ho
Venue:Workshop on Theory of Hybrid Systems