1. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
2. Hierarchical modeling and analysis of embedded systems;Alur;Proc. IEEE,2003
3. Reachability analysis of hybrid systems via predicate abstraction;Alur,2002
4. R. Alur, T. Dang, F. Ivančić, Reachability analysis of hybrid systems using counter-example guided predicate abstraction, Technical Report MS-CIS-02-34, University of Pennsylvania, Philadelphia, PA, November 2002.
5. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994