R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

A. Richard and J. P. Comet, Necessary conditions for multistationarity in discrete dynamical systems, Discrete Applied Mathematics, vol.155, issue.18, pp.2403-2413, 2007.
DOI : 10.1016/j.dam.2007.04.019
URL : https://hal.archives-ouvertes.fr/hal-00342169

A. Naldi, E. Remy, D. Thieffry, and C. Chaouiya, A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties, In: Computational Methods in Systems Biology. LNCS, vol.24, issue.16, pp.266-280, 2009.
DOI : 10.1093/bioinformatics/btn275

H. Siebert and A. Bockmayr, Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks, In: Computational Methods in Systems Biology. LNCS, vol.4210, pp.169-183, 2006.
DOI : 10.1007/11885191_12

J. Ahmad, O. Roux, G. Bernot, J. P. Comet, and A. Richard, Analysing formal models of genetic regulatory networks with delays, International Journal of Bioinformatics Research and Applications, vol.4, issue.3, 2008.
DOI : 10.1504/IJBRA.2008.019573
URL : https://hal.archives-ouvertes.fr/hal-00415808

Z. Khalis, J. P. Comet, A. Richard, and G. Bernot, The SMBioNet method for discovering models of gene regulatory networks, Genes, Genomes and Genomics, vol.3, issue.1, pp.15-22, 2009.

F. Corblin, E. Fanchon, and L. Trilling, Applications of a formal approach to decipher discrete genetic networks, BMC Bioinformatics, vol.11, issue.1, p.385, 2010.
DOI : 10.1186/1471-2105-11-385

F. Corblin, E. Fanchon, L. Trilling, C. Chaouiya, and D. Thieffry, Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data, In: IPCAT. LNCS, vol.7223, pp.25-30, 2012.
DOI : 10.1007/978-3-642-28792-3_4

L. Paulevé, M. Magnin, and O. Roux, Refining Dynamics of Gene Regulatory Networks in a Stochastic ??-Calculus Framework, In: Transactions on Computational Systems Biology XIII, vol.81, issue.25, pp.171-191, 2011.
DOI : 10.1021/j100540a008

L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, 2012.
DOI : 10.1007/s11538-008-9304-7

M. Folschette, L. Paulevé, K. Inoue, M. Magnin, and O. Roux, Concretizing the Process Hitting into Biological Regulatory Networks, In: Computational Methods in Systems Biology, 2012.
DOI : 10.1007/978-3-642-33636-2_11
URL : https://hal.archives-ouvertes.fr/hal-00704569

A. Richard, J. P. Comet, and G. Bernot, Formal Methods for Modeling Biological Regulatory Networks, In: Modern Formal Methods and App, pp.83-122, 2006.
DOI : 10.1007/1-4020-4223-X_5
URL : https://hal.archives-ouvertes.fr/hal-00342170

G. Bernot, F. Cassez, J. P. Comet, F. Delaplace, C. Müller et al., Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007.
DOI : 10.1016/j.entcs.2004.01.038
URL : https://hal.archives-ouvertes.fr/hal-00339588

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.
DOI : 10.1017/CBO9780511543357

O. Sahin, H. Frohlich, C. Lobke, U. Korf, S. Burmester et al., Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biology, vol.3, issue.1, 2009.
DOI : 10.1186/1752-0509-3-1

S. Klamt, J. Saez-rodriguez, J. Lindquist, L. Simeoni, and E. Gilles, A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinformatics, vol.7, issue.1, p.56, 2006.
DOI : 10.1186/1471-2105-7-56

. Fig, (left) IG inferred from the PH model of metazoan segmentation given in Fig. 3. (right) Parameters inferred from the PH model of Fig. 3 together with the (left) IG. The interrogation marks indicate parameters that could not be inferred due to the expression of opposite influences