The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996. ,
DOI : 10.1109/LICS.1996.561342
Hybrid control systems, Sensors & Systems, Royal Institute of Technology, 1044. ,
Stability of switched and hybrid systems. Decision and Control, Proceedings of the 33rd IEEE Conference on Decision and Control, pp.3498-3503, 1994. ,
Stability Criteria for Switched and Hybrid Systems, SIAM Review, vol.49, issue.4, pp.545-592, 2005. ,
DOI : 10.1137/05063516X
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
Computational systems biology, Nature, vol.14, issue.6912, pp.206-210, 2002. ,
DOI : 10.1038/35002125
Modularity: Understanding the Development and Evolution of Natural Complex Systems, 2005. ,
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
BioModels database: An enhanced, curated and annotated resource for published quantitative kinetic models, BMC Systems Biology, vol.4, issue.1, p.92, 2010. ,
Construction and analysis of transition systems with MEC, 1994. ,
DOI : 10.1142/2505
Stochastic transition systems, Proceedings CONCUR, vol.98, issue.1466, pp.423-438, 1998. ,
DOI : 10.1007/BFb0055639
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
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
The AltaRica formalism for describing concurrent systems, Fundam. Inf, vol.40, issue.2-3, pp.109-124, 1999. ,
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
The possible effects of the aggregation of the molecules of haemoglobin on its dissociation curves, J.Physiol, vol.40, p.iv?vii, 1910. ,
Regulation of bone mass by Wnt signaling, Journal of Clinical Investigation, vol.116, issue.5, pp.1202-1209, 2006. ,
DOI : 10.1172/JCI28551