1. Lecture Notes in Computer Science;R. Alur,1994
2. Alur, R., Feder, T., Henzinger, T.A.: The Benefits of Relaxing Punctuality. Journal of the ACM 43(1), 116–146 (1996)
3. Lecture Notes in Computer Science;F. Chevalier,2006
4. Chevalier, F., D’Souza, D., Prabhakar, P.: Counter-free input-determined timed automata. Technical Report IISc-CSA-TR-, -1, Indian Institute of Science, Bangalore 560012, India (January 2007), URL
http://archive.csa.iisc.ernet.in/TR/2007/1/
5. Lecture Notes in Computer Science;D. D’Souza,2005