From ATP to Timed Graphs and Hybrid Systems (1993)

by Xavier Nicollin , Joseph Sifakis, Sergio Yovine