DSouza, Deepak and Raj, Mohan M (2005) Eventual Timed Automata. In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2005., Hyderabad, India..