1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: M.D. Di Benedetto, A.L. Sangiovanni-Vincentelli (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 2034, Springer, Berlin, pp. 19–32.
2. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1992
3. M. Antoniotti, A. Göllü, SHIFT and SMART-AHS: a language for hybrid systems engineering, modeling, and simulation, in: Conference on Domain Specific Languages, Santa Barbara, CA, USA, October 1997, USENIX.
4. M. Antoniotti, F.C. Park, A. Policriti, N. Ugel, B. Mishra, Foundations of a query and simulation system for the modeling of biochemical and biological processes, in: Proc. Pacific Symp. of Biocomputing (PSB’03), 2003.
5. M. Antoniotti, A. Policriti, N. Ugel, B. Mishra, XS-systems: extended S-systems and algebraic differential automata for modeling cellular behaviour, in: Proc. of Internat. Conf. on High Performance Computing (HiPC’02), 2002.