F. Baccelli, G. Cohen, G. J. Olsder, and J. Quadrat, Synchronisation and linearity, 1992.

A. Beica, C. C. Guet, and T. Petrov, Efficient reduction of kappa models by static inspection of the rule-set, Hybrid Systems Biology-Fourth International Workshop, HSB 2015, vol.9271, pp.173-191, 2015.

M. L. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, 2004.

C. Boseung, . Rempala, and . Kim, Beyond the Michaelis-Menten equation: Accurate and efficient estimation of enzyme kinetic parameters, Scientific Reports, vol.7, issue.1, 2017.

G. E. Briggs and J. B. Haldane, A note on the kinematics of enzyme action, Biochem J, vol.19, issue.2, pp.338-339, 1925.

, Computer Assisted Proofs in Dynamics

K. , C. Saint-germain, and J. Feret, Conservative numerical approximations of the differential semantics in biological rulebased models, 2016.

C. Chaouiya, Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007.

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable simulation of cellular signaling networks, invited paper, Proc. APLAS-07, vol.4807, 2007.

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule based modeling of biological signaling, Proc. CONCUR'07, vol.4703, 2007.

V. Danos and C. Laneve, Formal molecular biology, TCS, vol.325, issue.1, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00164591

M. Franzle, C. Herde, T. Teige, S. Ratschan, and T. Schubert, Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure, In Journal on Satisfiability, Boolean Modeling, and Computation, vol.1, issue.3-4, p.209236, 2007.

J. Feret, V. Danos, J. Krivine, J. , R. Harmer et al., Internal coarse-graining of molecular systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret, T. Henzinger, H. Koeppl, T. Heinz, and . Petrov, Lumpability abstractions of rule-based systems, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00527971

S. Gao, S. Kong, and E. M. Clarke, dReal: An SMT Solver for Nonlinear Theories over the Reals, Lecture Notes in Computer Science, vol.7898, 2013.

D. G. Green, Cellular automata models in biology, Mathematical and Computer Modelling, vol.13, issue.6, pp.69-74, 1990.

W. S. Hlavacek, J. R. Faeder, M. L. Blinov, A. S. Perelson, and B. Goldstein, The complexity of complexes in signal transduction, 2003.

J. Keener and J. Sneyd, Mathematical Physiology: I: Cellular Physiology, 1994.

M. Kirkilionis and S. Walcher, On comparison systems for ordinary differential equations, Journal of Mathematical Analysis and Applications, vol.299, issue.1, pp.157-173, 2004.

T. G. Kurtz, Solutions of ordinary differential equations as limits of pure jump Markov processes, 1970.

G. L. Litvinov, Idempotent Analysis, Classical Mechanics and Geometry, Tropical Mathematics, 2010.

, MATLAB and Statistics Toolbox Release, 2015.

L. Michaelis and M. L. Menten, Die Kinetik der Invertinwirkung, Biochem Z, vol.49, pp.333-369, 1913.

N. S. Nedialkov, VNODE-LP: A Validated Solver for Initial Value Problems in Ordinary Differential Equations, 2006.

N. S. Nedialkov, Interval Tools for ODEs and DAEs, 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006.

V. , Modèles réduits et hybrides de réseaux de réactions biochimiques : applicationsàapplications`applicationsà la modélisation du cycle cellulaire, Biologie Systèmique. Université Rennes, vol.1, 2012.

V. Noël, D. Grigoriev, S. Vakulenko, and O. Radulescu, Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. Electronic Notes in Theoretical Computer Science, 2012.

O. Radulescu, A. N. Gorban, A. Zinovyev, and V. Noel, Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3, issue.131, p.17, 2012.

O. Radulescu, S. Vakulenko, and D. Grigoriev, Model reduction of biochemical reactions networks by tropical analysis methods, Mathematical Modelling of Natural Phenomena, vol.10, issue.3, 2015.

R. Wang, Boolean modeling in systems biology: an overview of methodology and applications, Phys. Biol, vol.9, p.55001, 2012.

J. J. Tyson, Modeling the cell division cycle: cdc2 and cyclin interactions, Proceedings of the National Academy of Sciences of the United States of America, vol.88, p.7328, 1991.

. Ml-wynn, . Consul, . Sd-merajver, and . Schnell, Logic-based models in systems biology: a predictive and parameter-free network analysis method. Integrative biology: quantitative biosciences from nano to macro, vol.4, 2012.