Compiling real-time specifications into extended automata (1992)

by X Nicollin, J Sifakis, S Yovine
Venue:IEEE Trans. on Software Engineering