M. Aiguier, P. L. Gall, and M. Mabrouki, A formal definition of complex software Complex software systems : Formalization and applications, 3rd International Conference on Software Engineering Advances, pp.47-62, 2008.

G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty, IEEE Transactions on Automatic Control, vol.53, issue.Special Issue, pp.215-244, 2008.
DOI : 10.1109/TAC.2007.911330

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, p.19, 2005.
DOI : 10.1093/bioinformatics/bti1048

URL : https://hal.archives-ouvertes.fr/hal-00171939

G. Bernot, J. P. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-386, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

G. Bernot and F. Tahi, Behaviour preservation of a biological regulatory network when embedded into a larger network, Fundam, Inf, vol.91, pp.3-4, 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, S. Tripodi, E. Fanchon, D. Ropers, and L. Trilling, A declarative constraint-based method for analyzing discrete genetic regulatory networks, Biosystems, vol.98, issue.2, pp.91-104, 2009.
DOI : 10.1016/j.biosystems.2009.07.007

URL : https://hal.archives-ouvertes.fr/hal-00793012

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 2001.

H. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002.
DOI : 10.1089/10665270252833208

URL : https://hal.archives-ouvertes.fr/inria-00072606

H. De-jong, J. Geiselmann, C. Hernandez, and M. Page, Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-380, 2003.
DOI : 10.1093/bioinformatics/btf851

URL : https://hal.archives-ouvertes.fr/inria-00072325

H. De-jong, J. L. 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-341, 2004.
DOI : 10.1016/j.bulm.2003.08.010

URL : https://hal.archives-ouvertes.fr/hal-00173849

R. , D. Nicola, and F. Vaandrager, Three logics for branching bisimulation, J. ACM, vol.42, issue.2, pp.458-87, 1995.

E. A. Emerson, Handbook of theoretical computer science, volume b : formal models and semantics, ch. Temporal and modal logic, pp.995-1072, 1990.

F. Fages and S. Soliman, Formal Cell Biology in Biocham, Lecture Notes in Computer Science, vol.5016, pp.54-80, 2008.
DOI : 10.1007/978-3-540-68894-5_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2675

S. Gama-castro, H. Salgado, M. Peralta-gil, A. Santos-zavaleta, L. Muniz-rascado et al., Embedding of biological regulatory networks and property preservation 33

R. Alquicira-hernández, C. Martínez-adame, J. Bonavides-martínez, A. M. Miranda-ríos, A. Huerta et al., Regulondb version 7.0: transcriptional regulation of escherichia coli k-12 integrated within genetic sensory response units (gensor units), no. Database issue, pp.98-105, 2011.

C. E. Giacomantonio, G. J. Goodhill, and K. J. Friston, A Boolean Model of the Gene Regulatory Network Underlying Mammalian Cortical Area Development, PLoS Computational Biology, vol.223, issue.9, pp.251-62, 2010.
DOI : 10.1371/journal.pcbi.1000936.s001

V. R. Glabbeck and W. P. Weijland, Refinement in branching time semantics, Proc. IFIP Conference, pp.613-631, 1989.

L. Glass and S. A. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.39-103, 1973.
DOI : 10.1016/0022-5193(73)90208-7

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

F. Jacob and J. Monod, Genetic regulatory mechanisms in the synthesis of proteins, Journal of Molecular Biology, vol.3, issue.3, pp.318-56, 1961.
DOI : 10.1016/S0022-2836(61)80072-7

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.

M. Mabrouki, M. Aiguier, J. P. Comet, and P. L. Gall, Property Preservation along Embedding of Biological Regulatory Networks, Lecture Notes in Computer Science, vol.5147, pp.125-163, 2008.
DOI : 10.1007/978-3-540-85101-1_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3020

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-81, 2003.
DOI : 10.1016/S0167-6423(02)00094-1

URL : https://hal.archives-ouvertes.fr/inria-00072755

D. Mateus, J. Gallois, J. Comet, and P. L. Gall, SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.05, issue.02b, pp.627-667, 2007.
DOI : 10.1142/S0219720007002850

URL : https://hal.archives-ouvertes.fr/hal-00293530

T. Schlitt and A. Brazma, Current approaches to gene regulatory network modelling, BMC Bioinformatics, vol.8, issue.Suppl 6, p.9, 2007.
DOI : 10.1186/1471-2105-8-S6-S9

URL : http://doi.org/10.1186/1471-2105-8-s6-s9

H. Siebert, Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics, Mathematics in Computer Science, vol.2, issue.3, pp.421-463, 2009.
DOI : 10.1007/s11786-008-0064-4

D. Thieffry, From global expression data to gene networks, BioEssays, vol.27, issue.11, pp.895-99, 1999.
DOI : 10.1002/(SICI)1521-1878(199911)21:11<895::AID-BIES1>3.0.CO;2-F

R. Thomas, Logical analysis of systems comprising feedback loops, Journal of Theoretical Biology, vol.73, issue.4, pp.631-56, 1978.
DOI : 10.1016/0022-5193(78)90127-3

H. Wehrheim, Inheritance of temporal logic properties, FMOODS, pp.79-93, 2003.