1. Lect Notes Comput Sci;R. Alur,2002
2. K. Amonlirdviman, R. Ghosh, J. Axelrod and C. Tomlin. A hybrid systems approach to modeling and analyzing planar cell polarity. In International Conference on Systems Biology, Stockholm, 2002.
3. E. Asarin, T. Dang, and O. Maler. d/dt: A verification tool for hybrid systems. In Proc. of the IEEE Conf. on Decision and Control, pages 2893–2898, Orlando, 2001.
4. Lect Notes Comput Sci;A. Bemporad,2000
5. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muñoz, S. Owre, H. Rueβ, J. Rushby, V. Rusu, H. Saϊdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, Hampton, VA, June 2000. NASA Langley Research Center.