Xavier Nicollin Alfredo Olivero Joseph Sifakis Sergio Yovine An Approach to the Description and Analysis of Hybrid Systems. 149-178 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#NicollinOSY92