1. Alur, R., C. Courcoubetis and D. Dill, Model checking for real-time systems, in: Proceedings of the 5th IEEE Symposium on Logic in Computer Science, 1990.
2. Alur, R. and D. Dil, The theory of timed automata, Proceedings of the REX Workshop, Lecture Notes in Computer Science 600 (1992)
3. Alur, R. and T. A. Henzinger, Logics and models for real time: a survey, Proceedings of the REX Workshop, Lecture Notes in Computer Science 600 (1992).
4. Le Systeme SYNTAX: Manuel d′Utilisation et de Mise en Oeuvre sous UNIX;Boullier,1988
5. “SYNTAX: User Commands and C Library Functions. Project Languges et Traduteurs,”;Boullier;INRIA, Juin,1989