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

by Oded Maler, Amir Pnueli, Joseph Sifakis