. Arellano, "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis, BMC Bioinformatics, vol.12, issue.1, p.490, 2011.
DOI : 10.1145/876638.876643

&. Assoian and . Yung, A reciprocal relationship between Rb and Skp2: implications for restriction point control, signal transduction to the cell cycle, and cancer, Cell Cycle, vol.7, issue.1, pp.24-31, 2008.
DOI : 10.4161/cc.7.1.5232

. Batt, Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, pp.19-28, 2005.
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939

. Batt, Efficient parameter search for qualitative models of regulatory networks using symbolic model checking, Bioinformatics, vol.26, issue.18, pp.603-613, 2010.
DOI : 10.1093/bioinformatics/btq387
URL : https://hal.archives-ouvertes.fr/inria-00482569

. Bérenguier, Dynamical modeling and analysis of large cellular regulatory networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.23, issue.2, p.25114, 2013.
DOI : 10.1063/1.4809783

. Binné, Retinoblastoma protein and anaphase-promoting complex physically interact and functionally cooperate during cell-cycle exit, Nature Cell Biology, vol.63, issue.2, pp.225-257, 2007.
DOI : 10.1074/jbc.M304930200

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

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, Lect Notes Comput Sci, vol.2602, pp.149-62, 2003.
DOI : 10.1007/3-540-36481-1_13

C. Chaouiya, Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework, Lect Notes Control Infor, vol.294, pp.119-145, 2003.
DOI : 10.1007/978-3-540-44928-7_17

C. Chaouiya, Logical Modelling of Gene Regulatory Networks with GINsim, Meth Mol Biol, vol.804, pp.463-79, 2012.
DOI : 10.1007/978-1-61779-361-5_23

A. Cimatti, NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Lect Notes Comput Sci, vol.2404, pp.359-64, 2002.
DOI : 10.1007/3-540-45657-0_29

E. Clarke, Model Checking Cambridge, 1999.

. Dai, A novel CyclinE/CyclinA-CDK Inhibitor targets p27Kip1 degradation, cell cycle progression and cell survival: Implications in cancer therapy, Cancer Letters, vol.333, issue.1, pp.103-115, 2013.
DOI : 10.1016/j.canlet.2013.01.025

M. Davidich and S. Bornholdt, The transition from differential equations to Boolean networks: A case study in simplifying a regulatory network model, Journal of Theoretical Biology, vol.255, issue.3, pp.269-77, 2008.
DOI : 10.1016/j.jtbi.2008.07.020

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

. Ferrell, Modeling the Cell Cycle: Why Do Certain Circuits Oscillate?, Cell, vol.144, issue.6, pp.874-85, 2011.
DOI : 10.1016/j.cell.2011.03.006

&. Gérard and . Goldbeter, Temporal self-organization of the cyclin/Cdk network driving the mammalian cell cycle, Proceedings of the National Academy of Sciences, vol.106, issue.51, pp.21643-21651, 2009.
DOI : 10.1073/pnas.0903827106

. Geng, Cyclin E Ablation in the Mouse, Cell, vol.114, issue.4, pp.431-474, 2003.
DOI : 10.1016/S0092-8674(03)00645-7

J. Irons, Logical analysis of the budding yeast cell cycle, Journal of Theoretical Biology, vol.257, issue.4, pp.543-59, 2009.
DOI : 10.1016/j.jtbi.2008.12.028
URL : https://hal.archives-ouvertes.fr/hal-00554556

&. Ji and . Zhu, Using Kinetic Studies to Uncover New Rb Functions in Inhibiting Cell Cycle Progression, Cell Cycle, vol.4, issue.3, pp.373-378, 2005.
DOI : 10.4161/cc.4.3.1535

. Kotoshiba, p27 is regulated independently of Skp2 in the absence of Cdk2, Biochimica et Biophysica Acta (BBA) - Molecular Cell Research, vol.1843, issue.2, pp.436-481, 2014.
DOI : 10.1016/j.bbamcr.2013.11.005

. Krek, Negative regulation of the growth-promoting transcription factor E2F-1 by a stably bound cyclin A-dependent protein kinase, Cell, vol.78, issue.1, pp.161-72, 1994.
DOI : 10.1016/0092-8674(94)90582-7

. Lees, Cyclin E/cdk2 and cyclin A/cdk2 kinases associate with p107 and E2F in a temporally distinct manner., Genes & Development, vol.6, issue.10, pp.1874-85, 1992.
DOI : 10.1101/gad.6.10.1874

. Li, The yeast cell-cycle network is robustly designed, Proceedings of the National Academy of Sciences, vol.101, issue.14, pp.4781-4787, 2004.
DOI : 10.1073/pnas.0305937101

. Liu, Imatinib Mesylate Induces Quiescence in Gastrointestinal Stromal Tumor Cells through the CDH1-SKP2-p27Kip1 Signaling Axis, Cancer Research, vol.68, issue.21, pp.9015-9038, 2008.
DOI : 10.1158/0008-5472.CAN-08-1935

&. Lundberg and . Weinberg, Functional Inactivation of the Retinoblastoma Protein Requires Sequential Modification by at Least Two Distinct Cyclin-cdk Complexes, Molecular and Cellular Biology, vol.18, issue.2, pp.753-61, 1998.
DOI : 10.1128/MCB.18.2.753

&. Meyer and . Rape, Processive ubiquitin chain formation by the anaphase-promoting complex, Seminars in Cell & Developmental Biology, vol.22, issue.6, pp.544-50, 2011.
DOI : 10.1016/j.semcdb.2011.03.009

. Mombach, Modelling the onset of senescence at the G1/S cell cycle checkpoint, BMC Genomics, vol.15, issue.Suppl 7, p.7, 2014.
DOI : 10.1186/1471-2164-15-S7-S7

. Montagnoli, Ubiquitination of p27 is regulated by Cdk-dependent phosphorylation and trimeric complex formation, Genes & Development, vol.13, issue.9, pp.1181-89, 1999.
DOI : 10.1101/gad.13.9.1181

. Nakayama, Targeted disruption of Skp2 results in accumulation of cyclin E and p27Kip1, polyploidy and centrosome overduplication, The EMBO Journal, vol.19, issue.9, pp.2069-81, 2000.
DOI : 10.1093/emboj/19.9.2069

. Naldi, Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, pp.134-143, 2009.
DOI : 10.1016/j.biosystems.2009.04.008

. Narasimha, eLife 3:e02872, J Biol Chem, vol.272, pp.4528-4535, 1997.

&. Novák and . Tyson, A model for restriction point control of the mammalian cell cycle, Journal of Theoretical Biology, vol.230, issue.4, pp.563-79, 2004.
DOI : 10.1016/j.jtbi.2004.04.039

. Ohtsubo, Human cyclin E, a nuclear protein essential for the G1-to-S phase transition., Molecular and Cellular Biology, vol.15, issue.5, pp.2612-2636, 1995.
DOI : 10.1128/MCB.15.5.2612

. Rape, The Processivity of Multiubiquitination by the APC Determines the Order of Substrate Degradation, Cell, vol.124, issue.1, pp.89-103, 2006.
DOI : 10.1016/j.cell.2005.10.032

. Rivard, Abrogation of p27Kip1 by cDNA Antisense Suppresses Quiescence (G0 State) in Fibroblasts, Journal of Biological Chemistry, vol.271, issue.31, pp.18337-18378, 1996.
DOI : 10.1074/jbc.271.31.18337

R. Thomas and R. Ari, Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-76, 1990.
DOI : 10.1007/BF02460618

. Townsley, Dominant-negative cyclin-selective ubiquitin carrier protein E2-C/UbcH10 blocks cells in metaphase, Proceedings of the National Academy of Sciences, vol.94, issue.6, pp.2362-2369, 1997.
DOI : 10.1073/pnas.94.6.2362

. Wong, Network calisthenics, Cell Cycle, vol.61, issue.18, pp.3086-94, 2014.
DOI : 10.1016/j.devcel.2007.12.017