S. A. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, J. Theor. Biol, vol.22, pp.437-467, 1969.

R. Thomas, Boolean formalization of genetic control circuits, J. Theor. Biol, vol.42, pp.563-585, 1973.

N. Le-novère, Quantitative and logic modelling of molecular and gene networks, Nat. Rev. Genet, vol.16, pp.146-158, 2015.

S. Kauffman, C. Peterson, B. Samuelsson, and C. Troein, Random Boolean network models and the yeast transcriptional network, Proc. Natl Acad. Sci, vol.100, pp.14796-14799, 2003.

R. Zhang, Network model of survival signaling in large granular lymphocyte leukemia, Proc. Natl Acad. Sci, vol.105, pp.16308-16313, 2008.

Z. Mai and H. Liu, Boolean network-based analysis of the apoptosis network: Irreversible apoptosis and stable surviving, J. Theor. Biol, vol.259, pp.760-769, 2009.

P. Martínez-sosa and L. Mendoza, The regulatory network that controls the differentiation of t lymphocytes, BioSystems, vol.113, pp.96-103, 2013.

D. P. Cohen, Mathematical modelling of molecular pathways enabling tumour cell invasion and migration, PLOS Computational Biol, vol.11, p.1004571, 2015.
URL : https://hal.archives-ouvertes.fr/inserm-02141625

W. Abou-jaoudé, Model checking to assess T-helper cell plasticity, Front. Bioeng. Biotechnol, vol.2, p.86, 2015.

P. Traynard, A. Fauré, F. Fages, and D. Thieffry, Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation, Bioinformatics, vol.32, pp.772-780, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01378465

S. Collombet, Logical modeling of lymphoid and myeloid cell specification and transdifferentiation, Proc. Natl Acad. Sci, vol.114, pp.5792-5799, 2017.

R. Thomas and M. Kaufman, Multistationarity, the basis of cell differentiation and memory. I: structural conditions of multistationarity and other nontrivial behavior, Chaos: Interdiscip. J. Nonlinear Sci, vol.11, p.170, 2001.

C. Soulé, Graphic requirements for multistationarity, vol.1, pp.123-133, 2003.

L. Paulevé and A. Richard, Static analysis of Boolean networks based on interaction graphs: a survey, Electron. Notes Theor. Comput. Sci, vol.284, pp.93-104, 2011.

S. Soliman, A stronger necessary condition for the multistationarity of chemical reaction networks, Bull. Math. Biol, vol.75, pp.2289-2303, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00772438

S. Mangan and U. Alon, Structure and function of the feed-forward loop network motif, Proc. Natl Acad. Sci, vol.100, pp.11980-11985, 2003.

S. Ishihara, K. Fujimoto, and T. Shibata, Cross talking of network motifs in gene regulation that generates temporal pulses and spatial stripes, Genes Cells, vol.10, pp.1025-1038, 2005.

G. Rodrigo and S. F. Elena, Structural discrimination of robustness in transcriptional feedforward loops for pattern formation, PLoS ONE, vol.6, p.16904, 2011.

Y. Schaerli, A unified design space of synthetic stripe-forming networks, Nat. Commun, vol.5, p.4905, 2014.

M. K. Morris, J. Saez-rodriguez, P. K. Sorger, and D. A. Lauffenburger, Logicbased models for the analysis of cell signaling networks, Biochemistry, vol.49, pp.3216-3224, 2010.

R. Thomas, R. Ari, and . Feedback, , 1990.

B. B. Aldridge, J. Saez-rodriguez, J. L. Muhlich, P. K. Sorger, and D. A. Lauffenburger, Fuzzy logic analysis of kinase pathway crosstalk in TNF/EGF/insulin-induced signaling, PLOS Computat. Biol, vol.5, p.1000340, 2009.

G. Stoll, E. Viara, E. Barillot, and L. Calzone, Continuous time boolean modeling for biological signaling: application of gillespie algorithm, BMC Syst. Biol, vol.6, p.116, 2012.
URL : https://hal.archives-ouvertes.fr/inserm-00762304

L. Glass and S. Kauffman, Logical analysis of continuous, non-linear biochemical control networks, J. Theor. Biol, vol.39, pp.103-129, 1973.

H. De-jong, Modeling and simulation of genetic regulatory systems: a literature review, J. Comput. Biol, vol.9, pp.67-103, 2002.

C. H. Papadimitriou, Computational Complexity, 1995.

H. Klarner, A. Bockmayr, and H. Siebert, Computing maximal and minimal trap spaces of Boolean networks, Nat. Comput, vol.14, pp.535-544, 2015.

R. Albert and A. Barabási, Statistical mechanics of complex networks, Rev. Mod. Phys, vol.74, pp.47-97, 2002.

E. Remy, A modeling approach to explain mutually exclusive and cooccurring genetic alterations in bladder tumorigenesis, Cancer Res, vol.75, pp.4042-4052, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01285974

N. D. Mendes, Estimating attractor reachability in asynchronous logical models, Front. Physiol, vol.9, p.1161, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02075322

G. Didier, E. Remy, and C. Chaouiya, Mapping multivalued onto Boolean dynamics, J. Theor. Biol, vol.270, pp.177-184, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00656334

S. Bornholdt, Boolean network models of cellular regulation: prospects and limitations, J. R. Soc. Interface, vol.5, pp.85-94, 2008.

A. Naldi, The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks, Front. Physiol, vol.9, p.680, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01794294