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

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.359-364, 2002.
DOI : 10.1007/3-540-45657-0_29

URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1415&context=compsci

E. M. Clarke, E. , and E. A. , Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1982.
DOI : 10.1007/978-3-540-69850-0_12

URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1451&context=compsci

D. P. Cohen, L. Martignetti, S. Robine, E. Barillot, A. Zinovyev et al., Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration, PLOS Computational Biology, vol.7, issue.Pt 3, 2015.
DOI : 10.1371/journal.pcbi.1004571.s018

URL : https://doi.org/10.1371/journal.pcbi.1004571

S. Collombet, C. Van-oevelen, J. L. Sardina-ortega, W. Abou-jaoudé, D. Stefano et al., Logical modeling of lymphoid and myeloid cell specification and transdifferentiation, Proceedings of the National Academy of Sciences, vol.270, issue.1, pp.5792-5799, 2017.
DOI : 10.1016/j.jtbi.2010.09.017

URL : http://www.pnas.org/content/114/23/5792.full.pdf

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, pp.96-106, 2012.
DOI : 10.1186/1752-0509-3-1

URL : https://bmcsystbiol.biomedcentral.com/track/pdf/10.1186/1752-0509-6-96?site=bmcsystbiol.biomedcentral.com

H. Klarner, A. Streck, and H. Siebert, PyBoolNet: a python package for the generation, analysis and visualization of boolean networks, Bioinformatics, vol.14, pp.770-772, 2017.
DOI : 10.1016/S0022-5193(05)80350-9

A. Naldi, bioLQM: a java library for the manipulation and conversion of Logical Qualitative Models of biological networks, 2018.
DOI : 10.1101/287011

A. Naldi, D. Berenguier, A. Fauré, F. Lopez, D. Thieffry et al., Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, 2009.
DOI : 10.1016/j.biosystems.2009.04.008

A. Naldi, C. Hernandez, W. Abou-jaoudé, P. T. Monteiro, C. Chaouiya et al., Logical modelling and analysis of cellular regulatory networks with GINsim 3.0, Front. Physiol, p.646, 2018.
DOI : 10.1101/289298

URL : https://www.biorxiv.org/content/early/2018/03/27/289298.full.pdf

A. Naldi, C. Hernandez, N. Levy, G. Stoll, P. T. Monteiro et al., The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks, Front. Physiol, p.680, 2018.
DOI : 10.1101/290411

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

L. Paulevé, Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface, CMSB 2017 -15th Conference on, 2017.
DOI : 10.1038/nbt0402-370