Compiling Real-Time Speci cations into Extended Automata (1992)

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