1. Adams, S.: On the Undecidability of Universality for Timed Automata with Minimal Resources. MSc Thesis, Oxford University (2006)
2. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: Proceedings of LICS 1990, pp. 414–425. IEEE Computer Society Press, Los Alamitos (1990)
3. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
4. Alur, R., Fix, L., Henzinger, T.A.: Event-Clock Automata: A Determinizable Class of Timed Automata. Theoretical Computer Science 211, 253–273 (1999)
5. Lecture Notes in Computer Science;R. Alur,2005