1. Asarin, E., Bournez, O., Dang, T., & Maler, O. (2000). Approximate reachability analysis of piecewise-linear dynamical systems. In Proc. 3rd int. workshop on hybrid systems: computation and control (pp. 20–31).
2. Asarin, E., Dang, T., & Maler, O. (2002). The d/dt tool for verification of hybrid systems. In Computer aided verification: proc. 14th intl. conf., CAV 2002 (pp. 746–770).
3. Computational techniques for hybrid system verification;Chutinan;IEEE Transactions on Automatic Control,2003
4. Dang, T., & Maler, O. (1998). Reachability analysis via face lifting. In Proc. 1st int. workshop on hybrid systems: computation and control (pp. 96–109).
5. Frehse, G. (2005). PHAVer: algorithmic verification of hybrid systems past HyTech. In Proc. 8th int. workshop on hybrid systems: computation and control(pp. 258–273).