C. Baier and J. Katoen, Principles of Model Checking, 2008.

J. Barnat, L. Brim, A. Krejci, A. Streck, D. Safránek et al., On Parameter Synthesis by Parallel Model Checking, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.9, issue.3, pp.693-705, 2012.
DOI : 10.1109/TCBB.2011.110
URL : http://anna.fi.muni.cz/papers/src/public/f41b08eba71589f2872dc27f2960868c.pdf

G. Bernot, J. 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-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

E. Bodden and . Software, , 2011.

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

L. De, M. , and N. Bjørner, Z3: An efficient smt solver In Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol.4963, pp.337-340, 2008.

D. Filopon, A. Mérieau, G. Bernot, J. Comet, R. Leberre et al., Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa, BMC Bioinformatics, vol.7, issue.1, pp.272-282, 2006.
DOI : 10.1186/1471-2105-7-272
URL : https://hal.archives-ouvertes.fr/hal-00381910

J. Fromentin, J. Comet, P. L. Gall, and O. Roux, Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pp.4595-4598, 2007.
DOI : 10.1109/IEMBS.2007.4353363
URL : http://www.i3s.unice.fr/%7Ecomet/publications/ConfIntl-actes/confEMBC07-Jonathan.pdf

P. Gastin and D. Oddoux, Fast LTL to B??chi Automata Translation, Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), pp.53-65, 2001.
DOI : 10.1007/3-540-44585-4_6
URL : http://www.liafa.jussieu.fr/~gastin/Articles/Cav01go.ps.gz

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, 18th IFIP Int. Conf. TestCom, pp.1-18, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

Z. Khalis, J. 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.

H. Klarner, A. Streck, D. Safránek, J. Kol?ák, and H. Siebert, Parameter Identification and Model Ranking of Thomas Networks, Proceedings of the 10th international conference on Computational Methods in Systems Biology, CMSB'12, pp.207-226, 2012.
DOI : 10.1007/978-3-642-33636-2_13
URL : http://www.fi.muni.cz/reports/files/2012/FIMU-RS-2012-03.pdf

D. Mateus, J. Gallois, J. Comet, and P. L. Gall, SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.60, issue.02b, pp.627-640, 2007.
DOI : 10.1007/1-4020-4223-X_5
URL : https://hal.archives-ouvertes.fr/hal-00293530

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

A. Richard, SMBioNet User manual, 2010.

E. Snoussi and R. Thomas, Logical identification of all steady states: The concept of feedback loop characteristic states, Bulletin of Mathematical Biology, vol.55, issue.5, pp.973-991, 1993.
DOI : 10.1016/S0092-8240(05)80199-5

D. Thieffry, M. Colet, and R. Thomas, Formalisation of regulatory networks : a logical method and its automation, Math. Modelling and Sci. Computing, vol.2, pp.144-151, 1993.

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks -II. immunity control in bacteriophage lambda, Bull. Math. Biol, vol.57, issue.2, pp.277-97, 1995.