W. Abou-jaoudé, P. T. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess t-helper cell plasticity, Frontiers in Bioengineering and Biotechnology, vol.2, issue.86, p.2015
DOI : 10.1101/012641

V. Acuna, F. Chierichetti, V. Lacroix, A. Marchetti-spaccamela, M. Sagot et al., Modes and cuts in metabolic networks: Complexity and algorithms, Biosystems, vol.95, issue.1, pp.51-60, 2009.
DOI : 10.1016/j.biosystems.2008.06.015
URL : https://hal.archives-ouvertes.fr/hal-00428239

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

G. Bernot, F. Cassez, J. 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

L. Calzone, E. Barillot, and A. Zinovyev, Predicting genetic interactions from Boolean models of biological networks, Integr. Biol., vol.34, issue.suppl 1, pp.921-929, 2015.
DOI : 10.1039/C5IB00029G

C. G. Cassandras, Discrete-Event Systems, CRC, 1993.
DOI : 10.1007/0-8176-4404-0_4

C. Chaouiya, D. Bérenguier, S. M. Keating, A. Naldi, M. P. Van-iersel et al., SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools, BMC Systems Biology, vol.7, issue.1, pp.1-15, 2013.
DOI : 10.1186/1752-0509-5-198
URL : https://hal.archives-ouvertes.fr/hal-00926033

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002.
DOI : 10.1007/3-540-45657-0_29

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

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

I. Crespo and A. , A general strategy for cellular reprogramming: The importance of transcription factor cross-repression, STEM CELLS, vol.26, issue.10, pp.312127-2135, 2013.
DOI : 10.1002/stem.1473

J. Esparza and K. Heljanko, Unfoldings ? A Partial-Order Approach to Model Checking, 2008.

J. Esparza and C. Schröter, Unfolding based algorithms for the reachability problem, Fund. Inf, vol.47, issue.3-4, pp.231-245, 2001.

M. Folschette, L. Paulevé, M. Magnin, and O. Roux, Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, issue.1, pp.66-83, 2015.
DOI : 10.1016/j.tcs.2015.08.040
URL : https://hal.archives-ouvertes.fr/hal-01202671

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.6, issue.3, 2012.
DOI : 10.2200/S00457ED1V01Y201211AIM019

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Clingo = ASP + control: Preliminary report, Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14), volume arXiv:1405.3694v1, 2014. Theory and Practice of Logic Programming

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, ICLP/SLP, pp.1070-1080, 1988.

A. Girard, A. A. Julius, and G. J. Pappas, APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS, IFAC Proceedings Volumes, vol.39, issue.5, 2006.
DOI : 10.3182/20060607-3-IT-3902.00022
URL : https://hal.archives-ouvertes.fr/hal-00307035

R. L. Grossman, A. Nerode, A. P. Ravn, and H. , Hybrid systems, 1993.
DOI : 10.1007/3-540-57318-6

A. Hamez, Y. Thierry-mieg, and F. Kordon, Building efficient model checkers using hierarchical set decision diagrams and automatic saturation, Fundam. Inf, vol.94, pp.3-4413, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01121192

K. Heljanko, Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets, Fundamenta Informaticae, vol.37, issue.3, pp.247-268, 1999.
DOI : 10.1007/3-540-49059-0_17

S. Klamt and E. D. Gilles, Minimal cut sets in biochemical reaction networks, Bioinformatics, vol.20, issue.2, pp.226-234, 2004.
DOI : 10.1093/bioinformatics/btg395

I. Moon, Automatic verification of discrete chemical process control systems, 1992.

I. Moon and S. Macchietto, Formal verification of batch processing control procedures, Proc. PSE'94, p.469, 1994.

I. Moon, G. J. Powers, J. R. Burch, and E. M. Clarke, Automatic verification of sequential control systems using temporal logic, AIChE Journal, vol.38, issue.1, pp.67-75, 1992.
DOI : 10.1002/aic.690380107

L. Paulevé, G. Andrieux, and H. Koeppl, Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, Computer Aided Verification, pp.69-84, 2013.
DOI : 10.1007/978-3-642-39799-8_4

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, pp.651-685, 2012.
DOI : 10.1007/s11538-008-9304-7

L. Paulevé and A. Richard, Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey, Proceedings of The Second International Workshop on Static Analysis and Systems Biology, pp.93-104, 2011.
DOI : 10.1016/j.entcs.2012.05.017

E. Plathe, T. Mestl, and S. Omholt, Feedback loops, stability and multistationarity in dynamical systems, Journal of Biological Systems, vol.3, pp.569-577, 1995.

S. Prajna, Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006.
DOI : 10.1016/j.automatica.2005.08.007

S. Prajna and A. Jadbabaie, Safety Verification of Hybrid Systems Using Barrier Certificates, Hybrid Systems: Computation and Control, pp.477-492, 2004.
DOI : 10.1007/978-3-540-24743-2_32

S. Prajna, A. Jadbabaie, and G. J. Pappas, A framework for worst-case and stochastic safety verification using barrier certificates. Automatic Control, IEEE Transactions on, issue.8, pp.521415-1428, 2007.

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011

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

R. Samaga, A. V. Kamp, and S. Klamt, Computing Combinatorial Intervention Strategies and Failure Modes in Signaling Networks, Journal of Computational Biology, vol.17, issue.1, pp.39-53, 2010.
DOI : 10.1089/cmb.2009.0121

I. Shmulevich, E. R. Dougherty, S. Kim, and W. Zhang, Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, vol.18, issue.2, pp.261-274, 2002.
DOI : 10.1093/bioinformatics/18.2.261

G. Stoll, E. Viara, E. Barillot, and L. Calzone, Continuous time boolean modeling for biological signaling: application of Gillespie algorithm, BMC Systems Biology, vol.6, issue.1, p.116, 2012.
DOI : 10.1371/journal.pcbi.1000595
URL : https://hal.archives-ouvertes.fr/inserm-00762304

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks?ii. immunity control in bacteriophage lambda, Bulletin of mathematical biology, vol.57, pp.277-97, 1995.

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

R. Thomas and R. , Biological Feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681