1. Courtiat, J.P., Santos, C., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. Computer Communications 23, 1104–1123 (2000)
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. In: Eijk, P.V., Vissers, C., Diaz, M. (eds.) The formal description technique LOTOS, pp. 23–73. Elsevier Science Publishers, Amsterdam (1989)
3. Bozga, M., Fernandez, J.C., Ghirvu, L., Graf, S., Krimm, J.P., Mounier, L.: IF: A validation environment for timed asynchronous systems. Computer Aided Verification, 543–547 (2000)
4. Bengtsson, J., Larsen, K., Larsen, F., Petterson, P., Yi, W., Weise, C.: New Generation of UPPAAL. In: Proceedings of the InternationalWorkshop on SOftware Tools and Technology Transfer (Aalborg, Denmark, July 12-13 (1998)
5. Lecture Notes in Computer Science;R. Alur,1994