1. Lecture Notes in Computer Science;R. Alur,1990
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
3. Baker, T.P. (ed.): Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, December 1-4 (2009);
4. Baker, T.P. (ed.): IEEE Real-Time Systems Symposium. IEEE Computer Society, Los Alamitos (2009)
5. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: SFM, pp. 200–236 (2004)