From ATP to Timed Graphs and Hybrid Systems.

Xavier Nicollin Joseph Sifakis Sergio Yovine From ATP to Timed Graphs and Hybrid Systems. 181-202 1993 30 Acta Inf. 2 db/journals/acta/acta30.html#NicollinSY93