1. Lecture Notes in Computer Science;R. Alur,1994
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
3. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. In: van Eijk, P.H.L., Vissers, C.A., Diaz, M. (eds.) The formal description technique LOTOS, pp. 23–73. Elsevier Science Publishers, Amsterdam (1989)
4. Bryans, J., Davies, J., Schneider, S.: Real-time CSP and ET-LOTOS. Technical report, Dept. of Computer Science, University of Reading (1995)
5. Lecture Notes in Computer Science;T. Bolognesi,1992