The algorithmic analysis of hybrid systems (1994)

by R Alur, C Courcoubetis, N Halbwachs, T Henzinger, P H Ho, X Nicollin, A Olivero, J Sifakis, S Yovine
Venue:Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems, 331–351. Springer-Verlag. Lecture Notes in Control and Information Sciences