1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Lecture Notes in Computer Science;G. Behrmann,2003
3. Behrmann, G., David, A., Larsen, K.G., Moeller, O., Pettersson, P., Yi, W.: UPPAAL - present and future. In: Proc. of 40th IEEE Conference on Decision and Control. IEEE Computer Society Press, Los Alamitos (2001)
4. Lecture Notes in Computer Science;G. Behrmann,1999
5. Lecture Notes in Computer Science;W. Belluomini,1998