T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
DOI : 10.1109/LICS.1996.561342

K. H. Johansson, Hybrid control systems, Sensors & Systems, Royal Institute of Technology, 1044.

M. S. Branicky, Stability of switched and hybrid systems. Decision and Control, Proceedings of the 33rd IEEE Conference on Decision and Control, pp.3498-3503, 1994.

R. Shorten, F. Wirth, O. Mason, K. Wulff, . Ch et al., Stability Criteria for Switched and Hybrid Systems, SIAM Review, vol.49, issue.4, pp.545-592, 2005.
DOI : 10.1137/05063516X

L. Tavernini, Differential automata and their discrete simulators, Nonlinear Analysis: Theory, Methods & Applications, vol.11, issue.6, pp.665-683, 1987.
DOI : 10.1016/0362-546X(87)90034-4

H. Kitano, Computational systems biology, Nature, vol.14, issue.6912, pp.206-210, 2002.
DOI : 10.1038/35002125

W. Callebaut and D. Rasskin-gutman, Modularity: Understanding the Development and Evolution of Natural Complex Systems, 2005.

J. J. Tyson, Modeling the cell division cycle: cdc2 and cyclin interactions., Proceedings of the National Academy of Sciences, vol.88, issue.16, pp.7328-7332, 1991.
DOI : 10.1073/pnas.88.16.7328

. Ch, M. Li, N. Donizelli, H. Rodriguez, L. Dharuri et al., BioModels database: An enhanced, curated and annotated resource for published quantitative kinetic models, BMC Systems Biology, vol.4, issue.1, p.92, 2010.

A. Arnold, D. Bégay, and P. Crubillé, Construction and analysis of transition systems with MEC, 1994.
DOI : 10.1142/2505

L. and D. Alfaro, Stochastic transition systems, Proceedings CONCUR, vol.98, issue.1466, pp.423-438, 1998.
DOI : 10.1007/BFb0055639

J. Gebert, N. Radde, and G. W. Weber, Modeling gene regulatory networks with piecewise linear differential equations, European Journal of Operational Research, vol.181, issue.3, pp.1148-1165, 2007.
DOI : 10.1016/j.ejor.2005.11.044

D. Schittler, J. Hasenauer, F. Allgöwer, and S. Waldherr, Cell differentiation modeled via a coupled two-switch regulatory network, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.20, issue.4, 2010.
DOI : 10.1063/1.3505000

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundam. Inf, vol.40, issue.2-3, pp.109-124, 1999.

M. Hucka, F. Bergmann, S. Hoops, S. Keating, S. Sahle et al., The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core (Release 1 Candidate), Nature Precedings, 2010.
DOI : 10.1038/npre.2010.4123.1

A. V. Hill, The possible effects of the aggregation of the molecules of haemoglobin on its dissociation curves, J.Physiol, vol.40, p.iv?vii, 1910.

V. Krishnan, H. U. Bryant, and O. A. Macdougald, Regulation of bone mass by Wnt signaling, Journal of Clinical Investigation, vol.116, issue.5, pp.1202-1209, 2006.
DOI : 10.1172/JCI28551