]. L. Grieco, L. Calzone, I. Bernard-pierrot, F. Radvanyi, B. Kahnperì-es et al., Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision, PLoS Computational Biology, vol.17, issue.4, p.1003286, 2013.
DOI : 10.1371/journal.pcbi.1003286.s010

A. Niarakis, Y. Bounab, L. Grieco, R. Roncagalli, A. M. Hesse et al., Computational Modeling of the Main Signaling Pathways Involved in Mast Cell Activation, Current Topics in Microbiology and Immunology, vol.382, pp.69-93, 2014.
DOI : 10.1007/978-3-319-07911-0_4

W. Abou-jaoudé, P. Traynard, P. T. Monteiro, J. Saez-rodriguez, T. Helikar et al., Logical Modeling and Dynamical Analysis of Cellular Networks, Frontiers in Genetics, vol.105, issue.10, 2016.
DOI : 10.1073/pnas.0806447105

F. Fages and S. Soliman, Formal Methods for, Formal cell biology in Biocham Computational Systems Biology Lecture Notes in Computer Science, vol.5016, pp.54-80, 2008.

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, 2012.
DOI : 10.3389/fgene.2012.00131

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004.
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849

P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, vol.277, issue.1-2, pp.1-2, 2002.
DOI : 10.1016/S0304-3975(00)00313-3

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Rival, A static analyzer for large safety-critical software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, pp.196-207, 2003.

M. Fähndrich and F. Logozzo, Static Contract Checking with Abstract Interpretation, Revised Selected Papers Lecture Notes in Computer Science, vol.19, issue.1-3, pp.10-30, 2010.
DOI : 10.1007/978-3-540-79124-9_10

A. Chapoutot and M. Martel, Abstract Simulation: A Static Analysis of Simulink Models, 2009 International Conference on Embedded Software and Systems, pp.83-92, 2009.
DOI : 10.1109/ICESS.2009.80
URL : https://hal.archives-ouvertes.fr/hal-00332447

S. A. Chapman and A. R. Asthagiri, Quantitative e?ect of sca?old abundance on signal propagation, Molecular Systems Biology, vol.5, issue.1, p.313, 2009.

C. Chaouiya, Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007.
DOI : 10.1093/bib/bbm029

A. Faure, A. Naldi, C. Chaouiya, and D. Thie?ry, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-131, 2006.
DOI : 10.1093/bioinformatics/btl210
URL : https://hal.archives-ouvertes.fr/hal-00310984

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

S. C. Kleene, Introduction to metamathematics, 1952.

P. Cousot, Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique de programmes, Thèse d' ´ EtatèsEtatès sciences mathématiques, 1978.

M. Karr, Affine relationships among variables of a program, Acta Informatica, vol.6, issue.2, pp.133-151, 1976.
DOI : 10.1007/BF00268497

J. Feret, Occurrence Counting Analysis for the ??-calculus, Electronic Notes in Theoretical Computer Science, vol.39, issue.2, pp.1-18, 2000.
DOI : 10.1016/S1571-0661(05)01155-2
URL : https://hal.archives-ouvertes.fr/inria-00527933

S. Schuster and T. Hofer, Determining all extreme semi-positive conservation relations in chemical reaction systems: a test criterion for conservativity, J. Chem. Soc., Faraday Trans., vol.22, issue.16, pp.2561-2566, 1991.
DOI : 10.1039/FT9918702561

F. Bourdoncle, Abstract, Journal of Functional Programming, vol.154, issue.04, pp.407-423, 1992.
DOI : 10.1017/S0956796800000496

X. Rival and L. Mauborgne, The trace partitioning abstract domain, ACM Transactions on Programming Languages and Systems, vol.29, issue.5
DOI : 10.1145/1275497.1275501

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Combination of Abstractions in the ASTR??E Static Analyzer, Secure Software and Related Issues Lecture Notes in Computer Science, vol.19, pp.272-300, 2007.
DOI : 10.1007/978-3-540-24725-8_2

A. N. Gorban and O. Radulescu, Chapter 3 Dynamic and Static Limitation in Multiscale Reaction Networks, Revisited, of Advances in Chemical Engineering, pp.103-173, 2008.
DOI : 10.1016/S0065-2377(08)00003-3

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, pp.124-138, 2015.
DOI : 10.1051/mmnp/201510310

J. A. Papin and B. O. Palsson, The JAK-STAT Signaling Network in the Human B-Cell: An Extreme Signaling Pathway Analysis, Biophysical Journal, vol.87, issue.1, pp.37-46, 2004.
DOI : 10.1529/biophysj.103.029884

J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.106, issue.16, pp.6453-6458, 2009.
DOI : 10.1073/pnas.0809908106
URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret, H. Koeppl, and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics, vol.7, issue.4, pp.527-604, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00975861