1. Alur (R.), Courcoubertis (C), Halbwachs (N.), Dill (D. L.) Wono-Toi (H.). Minimization of timed transition systems, in:Proceedings of concur’92, Stony Brook, NY, USA, Springer-Verlag, vol. 630 oflncs, pages 340–354, (1992).
2. Alur (R.),Dill (D. L.). Automata for modelling real-time systems, in: M. S. Paterson, Ed.,Proceedings of icalp’90, Springer-Verlag, vol. 443 oflncs, p. 323–335, (1990).
3. Alur (R.), Dill (D.L.). The theory of timed automata, in:Realtime: theory and practice, REX workshop, Mook, The Netherlands, Springer-Verlag, vol. 600 of lncs, pp. 45–73, (1991).
4. Alur (R.), Dill (D.L.). A theory of timed automata,Theoretical Computer Science,126, pp. 183–235, (1994).
5. Aspvall (B.),Shiloach (Y.), A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality, in :Proceedings of the 20th Ann. Symp. on Foundation of Computer Science, IEEE, pp. 205–217, (1979).