Maler, O., Pnueli, A., & Sifakis, J. (1995). On the synthesis of discrete controllers for timed systems. In STACS 95 (pp. 229–242). https://doi.org/10.1007/3-540-59042-0_76