Controller synthesis for timed automata (1998)

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