1. Aho, A., Sethi, R., Ullman, J.: Compilers: Principles and Techniques and Tools. Addison-Wesley, Reading (1986)
2. Alur, R.: Timed automata. In: NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems (1998)
3. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)
4. Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: A determinizable class of timed automata. TCS 211(1-2), 253–273 (1999)
5. Bauer, A., Leucker, M., Schallhart, C.: Model-based runtime analysis of distributed reactive systems. In: ASWEC 2006. IEEE, Los Alamitos (2006)