1. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
2. Hybrid automata;Alur,1993
3. A. Bouajjani, Y. Lakhnech, Logics vs. automata: the hybrid case, in: Hybrid Systems Workshop DIMACS ’95, Lecture Notes in Computer Science, Vol. 1066, Springer, Berlin, 1995.
4. From duration calculus to hybrid automata;Bouajjani,1995
5. Verifying ω-regular properties for a subclass of linear hybrid systems;Bouajjani,1995