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, 2015.
DOI : 10.1101/012641

T. Antao, Bioinformatics with Python cookbook, 2015.

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

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

P. J. Cock, T. Antao, J. T. Chang, B. A. Chapman, C. J. Cox et al., Biopython: freely available Python tools for computational molecular biology and bioinformatics, Bioinformatics, vol.25, issue.11, pp.251422-1423, 2009.
DOI : 10.1093/bioinformatics/btp163
URL : https://academic.oup.com/bioinformatics/article-pdf/25/11/1422/944180/btp163.pdf

F. Fages, T. Martinez, D. A. Rosenblueth, and S. Soliman, Influence Systems vs Reaction Systems, pp.98-115, 2016.
DOI : 10.1016/0022-5193(73)90247-6
URL : https://hal.archives-ouvertes.fr/hal-01378470

L. F. Fitime, O. Roux, C. Guziolowski, and L. Paulevé, Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming, Constraint-Based Methods for Bioinformatics Workshop, 2016.
DOI : 10.1186/1752-0509-6-116
URL : https://hal.archives-ouvertes.fr/hal-01566380

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

A. G. Gonzalez, A. Naldi, L. Sánchez, D. Thieffry, and C. Chaouiya, GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks, Dynamical Modeling of Biological Regulatory Networks, pp.91-100, 2006.
DOI : 10.1016/j.biosystems.2005.10.003
URL : https://hal.archives-ouvertes.fr/hal-00088152

L. Grieco, L. Calzone, I. Bernard-pierrot, F. Radvanyi, B. Kahn-perlès et al., Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision, PLoS Computational Biology, vol.17, issue.4, p.1003286, 2013.
DOI : 10.1371/journal.pcbi.1003286.s010

R. Grunberg, M. Nilges, and J. Leckner, Biskit A software platform for structural bioinformatics, Bioinformatics, vol.23, issue.6, pp.769-770, 2007.
DOI : 10.1093/bioinformatics/btl655
URL : https://hal.archives-ouvertes.fr/pasteur-01570137

T. Helikar, B. Kowal, S. Mcclenathan, M. Bruckner, T. Rowley et al., The Cell Collective: Toward an open and collaborative approach to systems biology, BMC Systems Biology, vol.6, issue.1, p.96, 2012.
DOI : 10.1186/1752-0509-3-1
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3443426

H. Klarner, A. Streck, and H. Siebert, PyBoolNet: a python package for the generation, analysis and visualization of boolean networks, Bioinformatics, p.682, 2016.
DOI : 10.1093/bioinformatics/btw682

F. D. Leprevost, B. A. Grüning, S. Alves-aflitos, H. L. Röst, J. Uszkoreit et al., Biocontainers: An open-source and community-driven framework for software standardization, Bioinformatics, 2017.

L. Move, Its tools

C. Mussel, M. Hopfensitz, and H. A. Kestler, BoolNet???an R package for generation, reconstruction and analysis of Boolean networks, Bioinformatics, vol.26, issue.10, pp.1378-1380, 2010.
DOI : 10.1093/bioinformatics/btq124

L. Paulevé, Goal-Oriented Reduction of Automata Networks, CMSB 2016 - 14th conference on Computational Methods for Systems Biology, 2016.
DOI : 10.3389/fgene.2013.00112

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

A. Rougny, C. Froidevaux, L. Calzone, and L. Paulevé, Qualitative dynamics semantics for SBGN process description, BMC Systems Biology, vol.7, issue.1, pp.1-24, 2016.
DOI : 10.1186/1752-0509-7-135
URL : https://hal.archives-ouvertes.fr/hal-01332679

R. Samaga, J. Saez-rodriguez, L. G. Alexopoulos, P. K. Sorger, and S. Klamt, The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data, PLoS Computational Biology, vol.2, issue.8, p.1000438, 2009.
DOI : 10.1371/journal.pcbi.1000438.s007

B. Schoeberl, C. Eichler-jonsson, E. D. Gilles, and G. Müller, Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors, Nature Biotechnology, vol.20, issue.4, pp.370-375, 2002.
DOI : 10.1038/nbt0402-370