Contrloller synthesis for timed automata. (1998)

by E Asarin, O Maler, A Pnueli, J Sifakis
Venue:In Proc. IFAC Symp. System Structure and Control,