Recent results on the description and analysis of timed systems (1993)

by X Nicollin, A Olivero, J Sifakis, S Yovine