Rajeev Alur Costas Courcoubetis Nicolas Halbwachs Thomas A. Henzinger Pei-Hsin Ho Xavier Nicollin Alfredo Olivero Joseph Sifakis Sergio Yovine The Algorithmic Analysis of Hybrid Systems. 3-34 1995 138 Theor. Comput. Sci. 1 db/journals/tcs/tcs138.html#AlurCHHHNOSY95 http://dx.doi.org/10.1016/0304-3975(94)00202-T