1. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller Synthesis for Timed Automata. In: Proc. IFAC Symp. on System Structure & Control, pp. 469–474. Elsevier, Amsterdam (1998)
3. Altisen, K., Tripakis, S.: Tools for controller synthesis of timed systems. In: RT-TOOLS 2002 (2002)
4. Lecture Notes in Computer Science;P. Bouyer,2004
5. Behrmann, G., David, A., Håkansson, J., Hendriks, M., Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL 4.0. In: Proc. of 3
rd
Int. Conf. on the Quantitative Evaluation of Systems, pp. 125–126. IEEE Computer Society Press, Los Alamitos (2006)