On the synthesis of discrete controllers for timed systems (1995)

by O Maler, A Pnueli, J Sifakis
Venue:In STACS’95, LNCS 900