1. Modular specifications of hybrid systems in CHARON;Alur,2001
2. K. Amonlirdviman, R. Ghosh, J.D. Axelrod, C.J. Tomlin, A hybrid systems approach to modelling and analyzing planar cell polarity, in: Proceedings of the International Conference on Systems Biology, 2002
3. Modeling cellular behavior with hybrid automata: Bisimulation and collapsing;Antoniotti,2003
4. E. Asarin, T. Dang, O. Maler, The d/dt tool for verification of hybrid systems, in: Proc. of the 14th International Conference, Computer Aided Verification, 2002, pp. 365–370
5. E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, R. Grosu, S.A. Smolka, Spatial networks of hybrid I/O automata for modeling excitable tissue, in: The Proceedings of 1st Workshop from Biology to Concurrency and Back, 2007, pp. 86–102