1. Lecture Notes in Computer Science;V. Braberman,2002
2. Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual timed event scenarios. In: Proc. of the 26th ACM/IEEE ICSE 2004, to appear (2004)
3. Lecture Notes in Computer Science;C. Daws,1996
4. Tripakis, S.: L’Analyse Formelle des Systemès Temporisés en Practique. PhD thesis, Univesité Joseph Fourier (1998)
5. Behrmann, G., David, A., Larsen, K., Möller, O., Pettersson, P., Yi, W.: Uppaal - present and future. In: Proc. IEEE CDC 2001, IEEE Computer Society Press, Los Alamitos (2001)