1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Asarin, E., Dang, T., and Maler, O. (2001). d/dt: a tool for reachability analysis of continuous and hybrid systems. In IFAC Symp. Nonlinear Control Systems.
3. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., and Maler, O. (2006). Recent progress in continuous and hybrid reachability analysis. In IEEE Int. Symp. Computer-Aided Control Systems Design.
4. Reachability analysis of nonlinear systems using conservative approximation. In HSCC′03, volume 2623 in LNCS;Asarin,2003
5. Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., and Sangiovanni-Vincentelli, A.L. (2006). Ariadne: a framework for reachability analysis of hybrid automata. In MTNS′06.