1. ASARIN, E., MALER, O., PNUELI, A. and SIFAKIS, J. Controller synthesis for timed automata. Proceedings of System Structure and Control. July, IFAC. Elsevier.
2. BALLUCHI, A., BENVENUTI, L., VILLA, T., WONG-ToI, H. and SANGIOVANNI-VINCENTELLI, A. L. A case study of hybrid controller synthesis of a heating system. Proceedings of the 5th European Control Conference. September, Karlsruhe, Germany.
3. On the regularization of Zeno hybrid automata