F. Agostinelli, N. Ceglia, B. Shahbaba, P. Sassone-corsi, and P. Baldi, What time is it ? Deep learning approaches for circadian rhythms, Bioinformatics, vol.32, issue.12, p.817, 2016.

B. Alberts, A. Johnson, J. Lewis, M. Ra, K. Roberts et al., Molecular Biology of the Cell. Garland Science, 2002.

H. Alla and R. David, Continuous and hybrid Petri nets, Systems, and Computers, vol.8, issue.01, p.159188, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00495611

R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, Hybrid automata : An algorithmic approach to the specication and verication of hybrid systems, Hybrid systems, p.209229, 1993.

R. Alur and D. Dill, A theory of timed automata, Theoretical computer science, vol.126, issue.2, p.183235, 1994.

R. Ana, Y. Lee, T. Sato, A. Venkataraman, C. Ramanathan et al., Machine learning helps identify chrono as a circadian clock component, PLoS biology, vol.12, issue.4, p.118, 2014.

E. Asarin, O. Maler, and A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical computer science, vol.138, issue.1, p.3565, 1995.

E. Asarin and G. Schneider, Widening the boundary between decidable and undecidable hybrid systems, International Conference on Concurrency Theory, p.193208

. Springer, , 2002.

S. Banin, L. Moyal, S. Shieh, Y. Taya, C. Anderson et al., Enhanced phosphorylation of p53 by atm in response to dna damage, Science, vol.281, issue.5383, p.16741677, 1998.

D. Barik, D. Ball, J. Peccoud, and J. Tyson, A stochastic model of the yeast cell cycle reveals roles for feedback regulation in limiting cellular variability, PLoS computational biology, vol.12, issue.12, p.155, 2016.

G. Batt, H. D. Jong, J. Geiselmann, and M. Page, Analysis of genetic regulatory networks : A model-checking approach, Proc. 17th Int. Work. Qualitative Reasoning (QR-03), p.3138, 2003.

G. Batt, S. Soliman, C. Chaouiya, F. Fages, E. Remy et al., Modelling molecular networks : relationships between dierent formalisms and levels of details, 2010.

J. Behaegel, A l'heure des super médicaments, 2017.

J. Behaegel, J. Comet, and M. Folschette, Constraint identication using modied Hoare logic on hybrid models of gene networks, LIPIcs-Leibniz International Proceedings in Informatics, vol.90, 2017.

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaala tool suite for automatic verication of real-time systems, International Hybrid Systems Workshop, p.232243, 1995.

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising hull and box consistency, Logic Programming : The 1999 International Conference, p.230244, 1999.

G. Bernot, J. Comet, Z. Khalis, A. Richard, and O. F. Roux, A genetically modied Hoare logic, Theoretical Computer Science, 2018.
DOI : 10.1016/j.tcs.2018.02.003
URL : http://arxiv.org/pdf/1506.05887

G. Bernot, J. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks : extending Thomas' asynchronous logical approach with temporal logic, Journal of theoretical biology, vol.229, issue.3, p.339347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

B. Berthomieu and M. Diaz, Modeling and verication of time dependent systems using time Petri nets, IEEE transactions on software engineering, vol.17, issue.3, p.259273, 1991.

C. Bessiere, Constraint propagation, Handbook of Constraint Programming, p.2983, 2006.
DOI : 10.1016/s1574-6526(06)80007-6
URL : https://hal.archives-ouvertes.fr/lirmm-00117128

T. Bhola, O. Kapuy, and P. Vinod, Computational modelling of meiotic entry and commitment, Scientic reports, vol.8, issue.1, p.180190, 2018.
DOI : 10.1038/s41598-017-17478-9
URL : https://www.nature.com/articles/s41598-017-17478-9.pdf

J. Bieler, R. Cannavo, K. Gustafson, C. Gobet, D. Gateld et al., Robust synchronization of coupled circadian and cell cycle oscillators in single mammalian cells, Molecular systems biology, vol.10, issue.7, p.156, 2014.

J. Bischo, P. Friedman, D. Marshak, C. Prives, and D. Beach, Human p53 is phosphorylated by p60-cdc2 and cyclin B-cdc2, Proceedings of the National Academy of Sciences, vol.87, issue.12, p.47664770, 1990.

G. Bjarnason, R. Jordan, and R. Sothern, Circadian variation in the expression of cellcycle proteins in human oral epithelium. The American journal of pathology, vol.154, pp.613-622, 1999.

I. Blomberg and I. Homann, Ectopic expression of Cdc25a accelerates the G1/S transition and leads to premature activation of cyclin E-and cyclin A-dependent kinases, Molecular and cellular biology, vol.19, issue.9, p.61836194, 1999.

J. Boonstra and J. Post, Molecular events associated with reactive oxygen species and cell cycle progression in mammalian cells, Gene, vol.337, p.113, 2004.

A. Bugge, D. Feng, L. Everett, E. Briggs, S. Mullican et al., Rev-erb? and Rev-erb? coordinately protect the circadian clock and normal metabolic function, Genes & development, vol.26, issue.7, p.657667, 2012.

C. Canman, D. Lim, K. Cimprich, Y. Taya, K. Tamai et al., Activation of the ATM kinase by ionizing radiation and phosphorylation of p53, Science, vol.281, issue.5383, p.16771679, 1998.

A. Cashmore, J. Jarillo, Y. Wu, and D. Liu, Cryptochromes : blue light receptors for plants and animals, Science, vol.284, issue.5415, p.760765, 1999.
DOI : 10.1126/science.284.5415.760

A. Chaix, A. Zarrinpar, and S. Panda, The circadian coordination of cell biology, J Cell Biol, vol.215, issue.1, p.1525, 2016.

C. Chaouiya, Petri net modelling of biological networks, Briengs in bioinformatics, vol.8, issue.4, p.210219, 2007.

C. Chaouiya, A. Naldi, E. Remy, and D. Thiery, Petri net representation of multi-valued logical regulatory graphs, Natural Computing, vol.10, issue.2, p.727750, 2011.

J. Clairambault, Physiologically based modelling of circadian control on cell proliferation, EMBS'06. 28th Annual International Conference of the IEEE, p.173176, 2006.

A. Colmerauer and P. Roussel, The birth of prolog, History of programming languages II, p.331367, 1996.

J. Comet, G. Bernot, A. Das, F. Diener, C. Massot et al., Simplied models for the mammalian circadian clock, Procedia Computer Science, vol.11, p.127138, 2012.

F. Corblin, E. Fanchon, and L. Trilling, Applications of a formal approach to decipher discrete genetic networks, BMC bioinformatics, vol.11, issue.1, p.385405, 2010.

E. Cornillon, Modèles qualitatifs de réseaux génétiques : réduction de modèles et introduction d'un temps continu, 2017.

P. Cousot and R. Cousot, Abstract interpretation : a unied lattice model for static analysis of programs by construction or approximation of xpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238252, 1977.

H. D. Jong, Modeling and simulation of genetic regulatory systems : a literature review, Journal of computational biology, vol.9, issue.1, p.67103, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072606

E. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Commun. ACM, vol.18, issue.8, p.453457, 1975.

R. E. Cheikh, S. Bernard, and N. E. Khatib, A multiscale modelling approach for the regulation of the cell cycle by the circadian clock, Journal of theoretical biology, vol.426, pp.117-125, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01561617

P. Emery, V. So, M. Kaneko, J. Hall, and M. Rosbash, Cry, a drosophila clock and light-regulated cryptochrome, is a major contributor to circadian rhythm resetting and photosensitivity, Cell, vol.95, issue.5, p.669679, 1998.

, Communication de la commission au parlement européen et au conseil concernant l'interdiction de l'expérimentation animale et l'interdiction de mise sur le marché dans le secteur des cosmétiques et faisant le point sur les méthodes de substitution à l'expérimentation animale, 2013.

T. Evans, E. Rosenthal, J. Youngblom, D. Distel, and T. Hunt, Cyclin : a protein specied by maternal mRNA in sea urchin eggs that is destroyed at each cleavage division, Cell, vol.33, issue.2, p.389396, 1983.

F. Fages, S. Soliman, and N. Chabrier-rivier, Modelling and querying interaction networks in the biochemical abstract machine biocham, Journal of Biological Physics and Chemistry, vol.4, p.6473, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01431345

A. Fauré, A. Naldi, C. Chaouiya, and D. Thiery, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, p.124131, 2006.

C. Feillet, P. Krusche, F. Tamanini, R. Janssens, M. Downey et al., Phase locking and multiple oscillating attractors for the coupled mammalian clock and cell cycle, Proceedings of the National Academy of Sciences, vol.111, issue.27, p.158, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01421054

J. Ferrell, T. Tsai, and Q. Yang, Modeling the cell cycle : why do certain circuits oscillate ?, Cell, vol.144, issue.6, p.874885, 2011.

D. Fisher, L. Krasinska, D. Coudreuse, and B. Novák, Phosphorylation network dynamics in the control of cell cycle transitions, Journal of cell science, vol.125, issue.20, p.47034711, 2012.
URL : https://hal.archives-ouvertes.fr/hal-02193054

W. Flemming and . Zellsubstanz, , p.1882

G. Gardey, D. Lime, and M. Magnin, A tool for analyzing time Petri nets, International Conference on Computer Aided Verication, p.418423, 2005.
DOI : 10.1007/11513988_41
URL : https://hal.archives-ouvertes.fr/hal-00523596

L. Geitler, Die entstehung der polyploiden somakerne der heteropteren durch chromosomenteilung ohne kernteilung, Zeitschrift für Zellforschung und Mikroskopische Anatomie Abt. B Chromosoma, vol.1, issue.1, p.122, 1939.
DOI : 10.1007/bf01271620

L. Geitler, Endomitose und endomitotische Polyploidisierung, vol.6, 2013.
DOI : 10.1007/978-3-7091-5448-9

C. Gérard and A. 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, p.2164321648, 2009.

C. Gérard and A. Goldbeter, Entrainment of the mammalian cell cycle by the circadian clock : modeling two coupled cellular rhythms, PLoS computational biology, vol.8, issue.5, p.121, 2012.

C. Gérard, J. Tyson, D. Coudreuse, B. Novák, and J. Saucerman, Cell cycle control by a minimal Cdk network, PLoS Comput Biol, vol.11, issue.2, p.127, 2015.

L. Glass and S. Kauman, Co-operative components, spatial localization and oscillatory cellular dynamics, Journal of theoretical biology, vol.34, issue.2, p.219237, 1972.
DOI : 10.1016/0022-5193(72)90157-9

T. Gotoh, J. Kim, J. Liu, M. Vila-caballer, P. Stauer et al., Model-driven experimental approach reveals the complex regulatory distribution of p53 by the circadian factor period 2, Proceedings of the National Academy of Sciences, vol.113, issue.47, p.1351613521, 2016.

A. Gréchez-cassiau, B. Rayet, F. Guillaumond, M. Teboul, and F. Delaunay, The circadian clock component BMAL1 is a critical regulator of p21WAF1/CIP1 expression and hepatocyte proliferation, Journal of Biological Chemistry, vol.283, issue.8, p.45354542, 2008.

M. L. Guerriero, A. Pokhilko, A. P. Fernández, K. Halliday, A. Millar et al., Stochastic properties of the plant circadian clock, Journal of The Royal Society Interface, p.113, 2011.

L. Hartwell and M. Kastan, Cell cycle control and cancer. Science, vol.266, issue.5192, p.18211828, 1994.

M. Heiner, D. Gilbert, and R. Donaldson, Petri nets for systems and synthetic biology, International school on formal methods for the design of computer, communication and software systems, p.215264, 2008.
DOI : 10.1007/978-3-540-68894-5_7

T. Henzinger, The theory of hybrid automata, Verication of Digital and Hybrid Systems, p.265292, 2000.

T. Henzinger, P. Ho, and H. Wong-toi, Hytech : A model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, p.110122, 1997.

T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, What's decidable about hybrid automata ?, Journal of Computer and System Sciences, vol.57, issue.1, p.94124, 1998.
DOI : 10.1145/225058.225162
URL : https://ecommons.cornell.edu/bitstream/1813/7198/1/95-1541.pdf

A. Hinton, M. Kwiatkowska, G. D. Kwiatkowska, N. , and D. Parker, Prism : A tool for automatic verication of probabilistic systems, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.441444, 2006.

T. Hoare, An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/357980.358001

J. Hogenesch, W. Chan, V. Jackiw, C. Brown, Y. Gu et al., Characterization of a subset of the basic-helix-loop-helix-pas superfamily that interacts with components of the dioxin signaling pathway, Journal of Biological Chemistry, vol.272, issue.13, p.85818593, 1997.

J. Hooman, Extending Hoare logic to real-time, Formal Aspects of Computing, vol.6, issue.1, pp.801-825, 1994.
DOI : 10.1007/bf01213604

W. Huang, K. M. Ramsey, B. Marcheva, and J. Bass, Circadian rhythms, sleep, and metabolism, The Journal of clinical investigation, vol.121, issue.6, p.21332141, 2011.

T. Hunt and P. Sassone-corsi, Riding tandem : circadian clocks and the cell cycle, Cell, vol.129, issue.3, p.461464, 2007.

M. Ikeda and M. Nomura, cDNA cloning and tissue-specic expression of a novel basic helixloophelix/PAS protein (BMAL1) and identication of alternatively spliced variants with alternative translation initiation site usage, Biochemical and biophysical research communications, vol.233, issue.1, p.258264, 1997.

M. Ishiura, S. Kutsuna, S. Aoki, H. Iwasaki, C. Andersson et al., Expression of a gene cluster kaiABC as a circadian feedback process in cyanobacteria, Science, vol.281, issue.5382, p.15191523, 1998.

S. Jamshidi, Comparing discrete, continuous and hybrid modelling approaches of gene regulatory networks, p.160, 2013.

O. Kapuy, P. Vinod, G. Bánhegyi, and B. Novák, Systems-level feedback regulation of cell cycle transitions in ostreococcus tauri, Plant Physiology and Biochemistry, vol.126, p.3946, 2018.

S. Kauman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of theoretical biology, vol.22, issue.3, p.437467, 1969.

Z. Khalis, J. Comet, A. Richard, and G. Bernot, The SMBioNet method for discovering models of gene regulatory networks, Genes, genomes and genomics, vol.3, issue.1, p.1522, 2009.

K. K. Khanna, K. Keating, S. Kozlov, S. Scott, M. Gatei et al., Atm associates with and phosphorylates p53 : mapping the region of interaction, Nature genetics, vol.20, issue.4, p.398401, 1998.

K. Kohn, Molecular interaction map of the mammalian cell cycle control and DNA repair systems, Molecular biology of the cell, vol.10, issue.8, p.27032734, 1999.

N. Koike, S. Yoo, H. Huang, V. Kumar, C. Lee et al., Transcriptional architecture and chromatin landscape of the core circadian clock in mammals, Science, vol.338, issue.6105, p.349354, 2012.

R. Konopka and S. Benzer, Clock mutants of drosophila melanogaster, Proceedings of the National Academy of Sciences, vol.68, issue.9, p.21122116, 1971.

K. Lamia, U. Sachdeva, L. Ditacchio, E. Williams, J. Alvarez et al., Ampk regulates the circadian clock by cryptochrome phosphorylation and degradation, Science, vol.326, issue.5951, p.437440, 2009.

S. Larochelle, K. Merrick, M. Terret, L. Wohlbold, N. Barboza et al., Requirements for Cdk7 in the assembly of Cdk1/cyclin B and activation of Cdk2 revealed by chemical genetics in human cells, Molecular cell, vol.25, issue.6, p.839850, 2007.
URL : https://hal.archives-ouvertes.fr/hal-02155994

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International journal on software tools for technology transfer, p.134152, 1997.

M. Lebart and J. Mariani, La régulation du cycle cellulaire, 2004.

T. Lehouillier, F. Soumis, J. Omer, and C. Allignol, Measuring the interactions between air trac control and ow management using a simulation-based framework, Computers & Industrial Engineering, vol.99, p.269279, 2016.

F. Levi, R. Zidani, and J. Misset, Randomised multicentre trial of chronotherapy with oxaliplatin, uorouracil, and folinic acid in metastatic colorectal cancer, The Lancet, vol.350, issue.9079, p.681686, 1997.

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 of the United States of America, vol.101, issue.14, p.47814786, 2004.

L. Ljung, System identication, Signal analysis and prediction, p.163173, 1998.

V. Marek and M. Truszczy«ski, Stable models and an alternative logic programming paradigm, The Logic Programming Paradigm, p.375398, 1999.

H. Matsuno, Y. Tanaka, H. Aoshima, M. Matsui, and S. Miyano, Biopathways representation and simulation on hybrid functional Petri net, In silico biology, vol.3, issue.3, p.389404, 2003.

T. Matsuo, S. Yamaguchi, S. Mitsui, A. Emi, F. Shimoda et al., Control mechanism of the circadian clock for timing of cell division in vivo, Science, vol.302, issue.5643, pp.255-259, 2003.

T. Miki, T. Matsumoto, Z. Zhao, and C. C. Lee, p53 regulates Period2 expression and the circadian clock, Nature communications, vol.4, 2013.

R. Moore, Interval arithmetic, 1966.

R. Moore and V. Eichler, Loss of a circadian adrenal corticosterone rhythm following suprachiasmatic lesions in the rat, Brain research, 1972.

M. Myers, K. Wager-smith, A. Rothenuh-hilker, and M. Young, Light-induced degradation of timeless and entrainment of the drosophila circadian clock, Science, vol.271, issue.5256, p.17361740, 1996.

B. Neveu and G. Trombettoni, Acid : Disjonction constructive adaptative sur intervalles, Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 2014), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01077462

J. Ninin, Global optimization based on contractor programming : An overview of the IBEX library, Mathematical Aspects of Computer and Information Sciences-6th International Conference, MACIS 2015, p.555559, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01236169

B. Novak and J. Tyson, A model for restriction point control of the mammalian cell cycle, Journal of theoretical biology, vol.230, issue.4, p.563579, 2004.

B. Novak, J. Tyson, B. Gyory, and A. Csikasz-nagy, Irreversible cell-cycle transitions are due to systems-level feedback, Nature cell biology, vol.9, issue.711, p.724, 2007.

P. Nurse, Ordering S phase and M phase in the cell cycle, Cell, vol.79, issue.4, p.547550, 1994.

A. Palinkas and A. Bockmayr, Petri nets for integrated models of metabolic and gene regulatory networks, Workshop on Constraint Based Methods for Bioinformatics, p.4557, 2011.

M. Pelleau, A. Miné, C. Truchet, and F. Benhamou, A constraint solver based on abstract domains, Verication, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, p.434454, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00785604

O. Perriquet and P. Barahona, Constraint-based strategy for pairwise RNA secondary structure prediction, Portuguese Conference on Articial Intelligence, p.8697

. Springer, , 2009.

J. Peters, The anaphase promoting complex/cyclosome : a machine designed to destroy, Nature reviews Molecular cell biology, vol.7, issue.9, 2006.

M. Pisu, A. Concas, and G. Cao, A novel quantitative model of cell cycle progression based on cyclin-dependent kinases activity and population balances, Computational biology and chemistry, vol.55, p.113, 2015.

A. Platzer, Dierential dynamic logic for hybrid systems, Journal of Automated Reasoning, vol.41, issue.2, p.143189, 2008.

Z. Qu, W. R. Maclellan, and J. Weiss, Dynamics of the cell cycle : checkpoints, sizers, and timers, Biophysical journal, vol.85, issue.6, p.36003611, 2003.

G. Rey, F. Cesbron, J. Rougemont, H. Reinke, M. Brunner et al., Genome-wide and phase-specic DNA-binding rhythms of BMAL1 control circadian output functions in mouse liver, PLoS biology, vol.9, issue.2, p.118, 2011.

S. Risau-gusman and P. Gleiser, Modelling the eect of phosphorylation on the circadian clock of drosophila, Journal of theoretical biology, vol.307, p.5361, 2012.

D. Santamaría, C. Barrière, A. Cerqueira, S. Hunt, C. Tardy et al., Cdk1 is sucient to drive the mammalian cell cycle, Nature, vol.448, issue.7155, 2007.

T. Sato, S. Panda, L. Miraglia, T. Reyes, R. Rudic et al., A functional genomics strategy reveals Rora as a component of the mammalian circadian clock, Neuron, vol.43, issue.4, p.527537, 2004.

A. Satyanarayana and P. Kaldis, Mammalian cell-cycle regulation : several Cdks, numerous cyclins and diverse compensatory mechanisms, Oncogene, vol.28, issue.33, p.29252939, 2009.
DOI : 10.1038/onc.2009.170
URL : https://www.nature.com/articles/onc2009170.pdf

W. Sedgwick, T. Thompson, and W. Harry, A short history of science, 1917.

J. Selfridge, T. Gotoh, S. Schihauer, J. Liu, P. Stauer et al., Chronotherapy : intuitive, sound, founded.. . but not broadly applied, Drugs, vol.76, issue.16, p.15071521, 2016.
DOI : 10.1007/s40265-016-0646-4
URL : https://link.springer.com/content/pdf/10.1007%2Fs40265-016-0646-4.pdf

R. Shea, M. Groudine, M. Gordon, J. Roberts, and B. Clurman, Cyclin E-CDK2 is a regulator of p27Kip1, Genes & development, vol.11, issue.11, p.14641478, 1997.

C. Sherr and J. Roberts, Cdk inhibitors : positive and negative regulators of G1-phase progression, Genes & development, vol.13, issue.12, p.15011512, 1999.

H. Siebert and A. Bockmayr, Temporal constraints in the logical analysis of regulatory networks, Theoretical Computer Science, vol.391, issue.3, p.258275, 2008.

R. Singhania, R. M. Sramkoski, J. Jacobberger, J. Tyson, and D. Beard, A hybrid model of mammalian cell cycle regulation, PLoS Comput Biol, vol.7, issue.2, p.110, 2011.

E. H. Snoussi, Qualitative dynamics of piecewise-linear dierential equations : a discrete mapping approach, Dynamics and stability of Systems, vol.4, issue.3-4, p.565583, 1989.

S. Spencer, S. Cappell, F. Tsai, K. W. Overton, C. Wang et al., The proliferation-quiescence decision is controlled by a bifurcation in CDK2 activity at mitotic exit, Cell, vol.155, issue.2, p.369383, 2013.

T. Stauner, O. Müller, and M. Fuchs, Using hytech to verify an automotive control system, International Workshop on Hybrid and Real-Time Systems, p.139153, 1997.
DOI : 10.1007/bfb0014722

J. Takahashi, Transcriptional architecture of the mammalian circadian clock, Nature Reviews Genetics, vol.18, issue.3, 2017.

R. Thomas, Boolean formalization of genetic control circuits, Journal of theoretical biology, vol.42, issue.3, p.563585, 1973.
DOI : 10.1016/0022-5193(74)90172-6

R. Thomas and M. Kaufman, Multistationarity, the basis of cell dierentiation and memory. ii. logical analysis of regulatory networks in terms of feedback circuits, Chaos : An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, p.180195, 2001.

F. Toyoshima-morimoto, E. Taniguchi, and E. Nishida, Plk1 promotes nuclear translocation of human Cdc25c during prophase, EMBO reports, vol.3, issue.4, p.341348, 2002.

P. Traynard, C. Feillet, S. Soliman, F. Delaunay, and F. Fages, Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic broblasts : Prediction of RevErb-? up-regulation during mitosis, Biosystems, 2016.

G. Trombettoni, I. Araya, B. Neveu, and G. Chabert, Inner regions and interval linearizations for global optimization, Proceedings of the Twenty-Fifth AAAI Conference on Articial Intelligence, AAAI 2011, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648085

G. Trombettoni and G. Chabert, Constructive interval disjunction. In Principles and Practice of Constraint Programming-CP, 13th International Conference, p.635650, 2007.
DOI : 10.1007/978-3-540-74970-7_45
URL : https://hal.archives-ouvertes.fr/hal-00936654

K. Tsumoto, G. Kurosawa, T. Yoshinaga, and K. Aihara, Modeling light adaptation in circadian clock : Prediction of the response that stabilizes entrainment, PLoS One, vol.6, issue.6, p.112, 2011.

K. Tsumoto, T. Yoshinaga, H. Iida, H. Kawakami, and K. Aihara, Bifurcations in a mathematical model for circadian oscillations of clock genes, Journal of Theoretical Biology, vol.239, issue.1, p.101122, 2006.

A. Tyner and A. Gartel, Roles of cyclin kinase inhibitors in G1 phase progression. G1 phase progression, p.5876, 2003.

J. Tyson and B. Novak, Temporal organization of the cell cycle, Current Biology, vol.18, issue.17, pp.759-768, 2008.

C. Valouxis and E. Housos, Constraint programming approach for school timetabling, Computers & Operations Research, vol.30, issue.10, p.15551572, 2003.

A. Vidal and A. Ko, Cell-cycle inhibitors : three families united by a common cause, Gene, vol.247, issue.1, p.115, 2000.

S. Videla, C. Guziolowski, F. Eduati, S. Thiele, M. Gebser et al., Learning Boolean logic models of signaling networks with ASP, Theoretical Computer Science, vol.599, p.79101, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01058610

E. Vigo, H. Müller, E. Prosperini, G. Hateboer, P. Cartwright et al., CDC25A phosphatase is a target of E2F and is required for ecient E2F-induced S phase, Molecular and cellular biology, vol.19, issue.9, p.63796395, 1999.

M. Vitaterna, D. King, A. Chang, J. Kornhauser, P. Lowrey et al., Mutagenesis and mapping of a mouse gene, clock, essential for circadian behavior, Science, vol.264, issue.5159, p.719725, 1994.

A. Winfree, Biological rhythms and the behavior of populations of coupled oscillators, Journal of theoretical biology, vol.16, issue.1, p.1542, 1967.

A. Woller, H. Duez, B. Staels, and M. Lefranc, A mathematical model of the liver circadian clock linking feeding and fasting cycles to clock function, Cell Reports, vol.17, issue.4, p.10871097, 2016.

Z. Xie and D. Kulasiri, Modelling of circadian rhythms in drosophila incorporating the interlocked PER/TIM and VRI/PDP1 feedback loops, Journal of theoretical biology, vol.245, issue.2, p.290304, 2007.

Q. Yang and J. Ferrell, The Cdk1APC/C cell cycle oscillator circuit functions as a time-delayed, ultrasensitive switch, Nature cell biology, vol.15, issue.5, p.113, 2013.

Q. Yang, B. Pando, G. Dong, S. Golden, and A. Van-oudenaarden, Circadian gating of the cell cycle revealed in single cyanobacterial cells, Science, vol.327, issue.5972, p.15221526, 2010.

S. Yoo, S. Yamazaki, P. Lowrey, K. Shimomura, C. Ko et al.,

W. Hong, O. Oh, and . Yoo, PERIOD2 :LUCIFERASE real-time reporting of circadian dynamics reveals persistent circadian oscillations in mouse peripheral tissues, Proceedings of the National Academy of Sciences of the United States of America, vol.101, p.53395346, 2004.

R. Zhang, N. Lahens, H. Ballance, M. Hughes, and J. Hogenesch, A circadian gene expression atlas in mammals : implications for biology and medicine, Proceedings of the National Academy of Sciences, vol.111, issue.45, p.1621916224, 2014.

X. Zhao, T. Hirota, X. Han, H. Cho, L. Chong et al., Circadian amplitude regulation via FBXW7-targeted REV-ERB? degradation, Cell, vol.165, issue.7, p.16441657, 2016.

. .. Index-a-absolute,

. .. Anaphase,

A. .. ,

. .. Atome-de-chemin-discret, , p.72

. .. Atteignabilité,

. .. Automate-hybride, , vol.14, p.59

. .. Automate-rectangulaire, , vol.13, p.33

. .. Cadre-diérentiel, , vol.13, p.34

. .. Cadre-hybride, , vol.13, p.34

. .. Cadre-qualitatif, , vol.13, p.34

. .. Cadre-stochastique, , vol.13, p.34

, Cadres de modélisation discrets, p.43

, Cadres de modélisation hybrides, p.44

. .. Cdk,

. .. Célérités, , vol.16, p.49

. .. Centromère,

. .. Centrosome,

. .. Checkpoints,

. .. Chemins-Élémentaires, , p.71

. .. Chromatide,

C. .. ,

. .. Complétude,

. .. Couple-d'assertion, , vol.72, p.73

C. .. ,

C. .. ,

. .. Cycle-cellulaire, , vol.15, p.20

. .. Cycle-circadien, , vol.16, p.30

.. .. Cycle-limite,

.. .. Cycle,

. .. Cycline,

A. .. Cycline,

B. .. Cycline,

D. .. Cycline,

E. .. Cycline,

. .. Cytodiérèse,

.. .. Entité-glissante,

.. .. Etat-hybride,

.. .. Etat,

.. .. Etat-voisin,

. .. Facteurs-de-croissance, , p.27

.. .. ,

.. .. Graphe-d'états,

. .. Graphe-d'inuence, , vol.12, p.33

. .. Holmes-bionet,

. .. Horloge-centrale,

. .. Interphase,

.. .. Jonctions,

. .. Langage-de-chemins,

. .. Langage-de-propriétés, , p.69

. .. Logique-de-hoare, , vol.14, p.66

.. .. Logique-de-hoare-hybride,

. .. Méthodes-formelles, , vol.14, p.61

. .. Mitose,

.. .. Mitotic-checkpoint,

. .. Multiplexe,

.. .. Mur-externe,

.. .. Mur-interne,

. .. Paramètres-dynamiques, , p.33

.. .. Partie-fractionnaire,

P. .. ,

.. .. Phase-mitotique,

. .. Plus-faible-précondition, , p.76

.. .. Point-xe,

. .. Prédécesseurs,

. .. Prométaphase,

. .. Propagateurs,

. .. Prophase,

.. .. Règles-d'inférence,

. .. Ressource,

.. .. Rythme-circadien,

. .. Solveurs-de-contraintes, , vol.15, p.98

.. .. Stratégie,

, Système de coordination circadienne, p.30