L. G. Alexopoulos, J. Saez-rodriguez, B. Cosgrove, D. A. Lauffenburger, and P. Sorger, Networks Inferred from Biochemical Data Reveal Profound Differences in Toll-like Receptor and Inflammatory Signaling between Normal and Transformed Hepatocytes, Molecular & Cellular Proteomics, vol.9, issue.9, pp.1849-1865, 2010.
DOI : 10.1074/mcp.M110.000406

J. Aracena, E. Goles, A. Moreira, and L. Salinas, On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009.
DOI : 10.1016/j.biosystems.2009.03.006

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

N. Berestovsky and L. Nakhleh, An Evaluation of Methods for Inferring Boolean Networks from Time-Series Data, PLoS ONE, vol.22, issue.6, p.66031, 2013.
DOI : 10.1371/journal.pone.0066031.t002

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. Gallet, M. Manceny, P. L. Gall, and P. Ballarini, An LTL Model Checking Approach for Biological Parameter Inference, Formal Methods and Software Engineering, pp.155-170, 2014.
DOI : 10.1007/978-3-319-11737-9_11

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

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, B. Kaufmann, R. Otero, J. Romero, T. Schaub et al., Domainspecific heuristics in answer set programming, Proceedings of the 27th National Conference on Artificial Intelligence (AAAI'13), pp.350-356, 2013.

M. Gebser, B. Kaufmann, and T. Schaub, Multi-threaded ASP solving with clasp. Theory and Practice of Logic Programming, pp.525-545, 2012.

C. Guziolowski, S. Videla, F. Eduati, S. Thiele, T. Cokelaer et al., Exhaustively characterizing feasible logic models of a signaling network using answer set programming, Bioinformatics, issue.18, pp.292320-2326, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853704

D. Harel, O. Kupferman, and M. Y. Vardi, On the Complexity of Verifying Concurrent Transition Systems, Information and Computation, vol.173, issue.2, pp.143-161, 2002.
DOI : 10.1006/inco.2001.2920

S. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.
DOI : 10.1016/0022-5193(69)90015-0

H. Klarner, A. Streck, D. Safránek, J. Kol?ák, and H. Siebert, Parameter Identification and Model Ranking of Thomas Networks, Computational Methods in Systems Biology, pp.207-226, 2012.
DOI : 10.1007/978-3-642-33636-2_13

J. Saez-rodriguez, L. G. Alexopoulos, J. Epperlein, R. Samaga, D. A. Lauffenburger et al., Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction, Molecular Systems Biology, vol.41, issue.331, 2009.
DOI : 10.1038/msb.2009.87

R. Wang, A. Saadatpour, and R. Albert, Boolean modeling in systems biology: an overview of methodology and applications, Physical Biology, vol.9, issue.5, p.2012
DOI : 10.1088/1478-3975/9/5/055001