1. Allen, James F., 1981. An interval-based representation of temporal knowledge. In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI ’81), Vancouver, BC, Canada, August 1981. William Kaufmann, pp. 221–226.
2. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
3. Alur, Rajeev, Henzinger, Thomas A., 1997. Real-Time System=Discrete System+Clock Variables. Technical Report UCB/ERL M97/78, EECS Department, University of California, Berkeley.
4. An analyzer for message sequence charts;Alur;Softw. – Conc. Tools,1996
5. Amla, Nina, Allen Emerson, E., Kedar Namjoshi, S., 1999. Efficient decompositional model checking for regular timing diagrams. In: Conference on Correct Hardware Design and Verification Methods, pp. 67–81.