T. Akutsu, A. A. Melkman, T. Tamura, and M. Yamamoto, Determining a Singleton Attractor of a Boolean Network with Nested Canalyzing Functions, Journal of Computational Biology, vol.18, issue.10, pp.1275-1290, 2011.
DOI : 10.1089/cmb.2010.0281

R. Albert and G. Othmer, The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster, Journal of Theoretical Biology, vol.223, issue.1, pp.1-18, 2003.
DOI : 10.1016/S0022-5193(03)00035-3

D. Angeli and E. D. Sontag, Monotone control systems, IEEE Transactions on Automatic Control, vol.48, issue.10, pp.1684-1698, 2003.
DOI : 10.1109/TAC.2003.817920

S. Bornholdt, Boolean network models of cellular regulation: prospects and limitations, Journal of The Royal Society Interface, vol.vol. XVII, issue.2, pp.85-94, 2008.
DOI : 10.1016/S0955-0674(03)00017-6

L. Calzone, L. Tournier, S. Fourquet, D. Thieffry, B. Zhivotovsky et al., Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement, PLoS Computational Biology, vol.2006, issue.3, p.1000702, 2010.
DOI : 10.1371/journal.pcbi.1000702.s008
URL : https://hal.archives-ouvertes.fr/inserm-00704979

M. Chaves and R. Albert, Studying the effect of cell division on expression patterns of the segment polarity genes, Journal of The Royal Society Interface, vol.68, issue.1-2, pp.71-84, 2008.
DOI : 10.1016/S0925-4773(97)00150-0

M. Chaves, R. Albert, and E. D. Sontag, Robustness and fragility of Boolean models for genetic regulatory networks, Journal of Theoretical Biology, vol.235, issue.3, pp.431-449, 2005.
DOI : 10.1016/j.jtbi.2005.01.023

M. Chaves and L. Tournier, Predicting the asymptotic dynamics of large biological networks by interconnections of Boolean modules, IEEE Conference on Decision and Control and European Control Conference, 2011.
DOI : 10.1109/CDC.2011.6160454
URL : https://hal.archives-ouvertes.fr/hal-00848407

M. Chaves, L. Tournier, and J. L. Gouzé, Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks, Acta Biotheoretica, vol.11, issue.2, pp.217-232, 2010.
DOI : 10.1007/s10441-010-9097-6
URL : https://hal.archives-ouvertes.fr/hal-00847281

D. Cheng and H. Qi, Controllability and observability of Boolean control networks, Automatica, vol.45, issue.7, pp.1659-1667, 2009.
DOI : 10.1016/j.automatica.2009.03.006

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 2001.

A. Fauré, A. Naldi, C. Chaouiya, and D. Thieffry, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.22-124, 2006.
DOI : 10.1093/bioinformatics/btl210

G. Goessler, Component-Based Modeling and Reachability Analysis of Genetic Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.8, issue.3, pp.672-682, 2011.
DOI : 10.1109/TCBB.2010.81
URL : https://hal.archives-ouvertes.fr/inria-00344856

M. Gondran and M. Minoux, Graphs and algorithms, 1984.
URL : https://hal.archives-ouvertes.fr/hal-01304880

L. H. Hartwell, J. J. Hopfield, S. Leibler, and A. W. Murray, From molecular to modular cell biology, Nature, issue.6761, p.40247, 1999.

S. C. Johnson, Hierarchical clustering schemes, Psychometrika, vol.58, issue.4, pp.241-254, 1967.
DOI : 10.1007/BF02289588

F. Li, T. Long, Y. Lu, Q. Ouyang, and C. Tang, The yeast cell-cycle network is robustly designed, Proceedings of the National Academy of Sciences, vol.101, issue.14, pp.4781-4786, 2004.
DOI : 10.1073/pnas.0305937101

A. Naldi, E. Rémy, D. Thieffry, and C. Chaouiya, Dynamically consistent reduction of logical regulatory graphs, Theoretical Computer Science, vol.412, issue.21, pp.2207-2225, 2011.
DOI : 10.1016/j.tcs.2010.10.021
URL : https://hal.archives-ouvertes.fr/hal-01284743

J. A. Papin, T. Hunter, B. O. Palsson, and S. Subramaniam, Reconstruction of cellular signalling networks and analysis of their properties, Nature Reviews Molecular Cell Biology, vol.82, issue.2, pp.99-111, 2005.
DOI : 10.1038/nrm1570

L. Sánchez, C. Chaouiya, and D. Thieffry, Segmenting the fly embryo: logical analysis of the role of the Segment Polarity cross-regulatory module, The International Journal of Developmental Biology, vol.52, issue.8, p.521059, 2008.
DOI : 10.1387/ijdb.072439ls

R. Schlatter, K. Schmich, I. A. Vizcarra, P. Scheurich, and T. Sauter, ON/OFF and Beyond - A Boolean Model of Apoptosis, PLoS Computational Biology, vol.122, issue.12, p.1000595, 2009.
DOI : 10.1371/journal.pcbi.1000595.s007

E. D. Sontag, Mathematical Control Theory. Deterministic Finite-Dimensional Systems, 1998.

L. Tournier and M. Chaves, Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics, Journal of Theoretical Biology, vol.260, issue.2, pp.196-209, 2009.
DOI : 10.1016/j.jtbi.2009.06.006
URL : https://hal.archives-ouvertes.fr/hal-00554625

S. Van-dongen, Graph Clustering Via a Discrete Uncoupling Process, SIAM Journal on Matrix Analysis and Applications, vol.30, issue.1, pp.121-141, 2008.
DOI : 10.1137/040608635

U. Luxburg, A tutorial on spectral clustering, Statistics and Computing, vol.21, issue.1, pp.395-416, 2007.
DOI : 10.1007/s11222-007-9033-z

R. Zhang, M. V. Shah, J. Yang, S. B. Nyland, X. Liu et al., Network model of survival signaling in LGL leukemia, pp.16308-16313, 2008.