Compiling real-time specifications into ex- tended automata (1992)

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