1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43(1), 116–146 (1996)
3. Alur, R., Henzinger, T.A.: Real-time logics: Complexity and expressiveness. In: Proc. 5th Annual Symposium on Logic in Computer Science (LICS 1990), pp. 390–401. IEEE Computer Society Press, Los Alamitos (1990)
4. Lecture Notes in Computer Science;R. Alur,2001
5. Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: Proc. 15th Annual Symposium on Logic in Computer Science (LICS 2000), pp. 132–140. IEEE Computer Society press, Los Alamitos (2000)