Yonit Kesten Amir Pnueli Joseph Sifakis Sergio Yovine Integration Graphs: A Class of Decidable Hybrid Systems. 179-208 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#KestenPSY92