1. R. Alur, Timed automata, CAV’99, Lecture Notes in Computer Science, vol. 1633, Springer, Berlin, pp. 8–22.
2. Model-checking in dense real time;Alur;Inform. Comput.,1993
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. A really temporal logic;Alur;J. Assoc. Comput. Mach.,1994
5. R. Alur, T.A. Henzinger, M.Y. Vardi, Parametric real-time reasoning, STOC’93, ACM Press, New York, pp. 592–601.