1. Alur, R., Dill, D.: A theory of timed automata. In: Theoretical Computer Science, vol. 126, pp. 183–235. Elsevier, Amsterdam (1994)
2. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43, 116–146 (1996)
3. Lecture Notes in Computer Science;R. Alur,1994
4. D’Souza, D.: Raj Mohan M: Eventual Timed Automata, IISc-CSA-TR- 2005-8, Technical Report, Indian Institute of Science, Bangalore (2005)
5. D’Souza, D., Prabhakar, P.: On the expressiveness of MTL in the pointwise and continuous semantics, IISc-CSA-TR-2005-7, Technical Report, Indian Institute of Science, Bangalore (2005)