C. L. Partch, C. B. Green, and J. S. Takahashi, Molecular architecture of the mammalian circadian clock, Trends in Cell Biology, vol.24, issue.2, pp.90-99, 2014.
DOI : 10.1016/j.tcb.2013.07.002

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.
DOI : 10.1126/science.1086271

J. W. Barnes, S. A. Tischkau, J. A. Barnes, J. W. Mitchell, P. W. Burgoon et al., Requirement of Mammalian Timeless for Circadian Rhythmicity, Science, vol.302, issue.5644, pp.439-442, 2003.
DOI : 10.1126/science.1086593

]. K. Unsal-kaçmaz, T. E. Mullen, W. K. Kaufmann, and A. Sancar, Coupling of Human Circadian and Cell Cycles by the Timeless Protein, Molecular and Cellular Biology, vol.25, issue.8, pp.3109-3116, 2005.
DOI : 10.1128/MCB.25.8.3109-3116.2005

A. Ballesta, S. Dulong, C. Abbara, B. Cohen, A. Okyar et al., A Combined Experimental and Mathematical Approach for Molecular-based Optimization of Irinotecan Circadian Delivery, PLoS Computational Biology, vol.49, issue.9
DOI : 10.1371/journal.pcbi.1002143.s001
URL : https://hal.archives-ouvertes.fr/inserm-00692053

E. De-maria, F. Fages, A. Rizk, and S. Soliman, Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints, Theoretical Computer Science, vol.412, issue.21, pp.2108-2127, 2011.
DOI : 10.1016/j.tcs.2010.10.036
URL : https://hal.archives-ouvertes.fr/hal-01285815

E. Nagoshi, C. Saini, C. Bauer, T. Laroche, F. Naef et al., Circadian Gene Expression in Individual Fibroblasts, Cell, vol.119, issue.5, pp.693-705, 2004.
DOI : 10.1016/j.cell.2004.11.015

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, pp.4535-4542, 2008.
DOI : 10.1074/jbc.M705576200

S. Gery, N. Komatsu, L. Baldjyan, A. Yu, D. Koo et al., The Circadian Gene Per1 Plays an Important Role in Cell Growth and DNA Damage Control in Human Cancer Cells, Molecular Cell, vol.22, issue.3, pp.22-375, 2006.
DOI : 10.1016/j.molcel.2006.03.038

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.3, issue.5, p.1002516, 2012.
DOI : 10.1371/journal.pcbi.1002516.g015

L. Calzone and S. Soliman, Coupling the cell cycle and the circadian cycle, Research Report, vol.5835, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070191

L. Glass, Synchronization and rhythmic processes in physiology, Nature, vol.14, issue.6825, pp.277-84, 2001.
DOI : 10.1038/35065745

J. Bieler, R. Cannavo, K. Gustafson, C. Gobet, D. Gatfield et al., Robust synchronization of coupled circadian and cell cycle oscillators in single mammalian cells, Molecular systems biology, p.739, 2014.
DOI : 10.15252/msb.20145218

C. Feillet, P. Krusche, F. Tamanini, R. C. Janssens, M. J. Downey et al., Phase locking and multiple oscillating attractors for the coupled mammalian clock and cell cycle, Proceedings of the National Academy of Sciences of the United States of America, pp.27-9928, 2014.
DOI : 10.1073/pnas.1320474111
URL : https://hal.archives-ouvertes.fr/hal-01421054

A. Relógio, P. O. Westermark, T. Wallach, K. Schellenberg, A. Kramer et al., Tuning the Mammalian Circadian Clock: Robust Synergy of Two Loops, PLoS Computational Biology, vol.5, issue.12, 2011.
DOI : 10.1371/journal.pcbi.1002309.s007

Z. Qu, W. R. Maclellan, and J. N. Weiss, Dynamics of the Cell Cycle: Checkpoints, Sizers, and Timers, Biophysical Journal, vol.85, issue.6, pp.3600-3611, 2003.
DOI : 10.1016/S0006-3495(03)74778-X

P. Traynard, F. Fages, and S. Soliman, Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis, CMSB'15: Proceedings of the thirteenth international conference on Computational Methods in Systems Biology, pp.208-221, 2015.
DOI : 10.1007/978-3-319-23401-4_18
URL : https://hal.archives-ouvertes.fr/hal-01236264

D. Weisenberger and U. Scheer, A possible mechanism for the inhibition of ribosomal RNA gene transcription during mitosis, The Journal of Cell Biology, vol.129, issue.3, pp.561-575, 1995.
DOI : 10.1083/jcb.129.3.561

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364

F. Fages and P. Traynard, Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers, Logical Modeling of Biological Systems, pp.291-323, 2014.
DOI : 10.1002/9781119005223.ch8
URL : https://hal.archives-ouvertes.fr/hal-01103305

P. Traynard, F. Fages, and S. Soliman, Trace simplifications preserving temporal logic formulae with case study in a coupled model of the cell cycle and the circadian clock (best student paper award, CMSB'14: Proceedings of the twelth international conference on Computational Methods in Systems Biology, no. 8859 in Lecture Notes in BioInformatics, pp.114-128, 2014.

A. Rizk, G. Batt, F. Fages, and S. Soliman, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, Theoretical Computer Science, vol.412, issue.26, pp.2827-2839, 2011.
DOI : 10.1016/j.tcs.2010.05.008
URL : https://hal.archives-ouvertes.fr/hal-01431314

A. Rizk, G. Batt, F. Fages, and S. Soliman, A general computational method for robustness analysis with applications to synthetic gene networks, Bioinformatics, vol.25, issue.12, pp.69-78, 2009.
DOI : 10.1093/bioinformatics/btp200
URL : https://hal.archives-ouvertes.fr/inria-00419708

A. Sakaue-sawano, H. Kurokawa, T. Morimura, A. Hanyu, H. Hama et al., Visualizing Spatiotemporal Dynamics of Multicellular Cell-Cycle Progression, Cell, vol.132, issue.3, pp.487-498, 2008.
DOI : 10.1016/j.cell.2007.12.033

C. Feillet, G. T. Van-der-horst, F. Levi, D. A. Rand, and F. Delaunay, Coupling between the Circadian Clock and Cell Cycle Oscillators: Implication for Healthy Cells and Malignant Growth, Frontiers in Neurology, vol.26, issue.Pt 4, pp.1-7, 2015.
DOI : 10.1101/gad.183251.111
URL : https://hal.archives-ouvertes.fr/hal-01255098

F. Fages and A. Rizk, On temporal logic constraint solving for analyzing numerical data time series, Theoretical Computer Science, vol.408, issue.1, pp.55-65, 2008.
DOI : 10.1016/j.tcs.2008.07.004

S. Yoo, S. Yamazaki, P. Lowrey, K. Shimomura, C. Ko et al., PE- RIOD2::LUCIFERASE real-time reporting of circadian dynamics reveals persistent circadian oscillations in mouse peripheral tissues, pp.5339-5346, 2004.

C. R. Stumpf, M. V. Moreno, A. B. Olshen, B. S. Taylor, and D. Ruggero, The Translational Landscape of the Mammalian Cell Cycle, Molecular Cell, vol.52, issue.4, pp.574-588, 2013.
DOI : 10.1016/j.molcel.2013.09.018

B. Kang, Y. Li, X. Chang, L. Liu, and Y. Li, Modeling the Effects of Cell Cycle M-phase Transcriptional Inhibition on Circadian Oscillation, PLoS Computational Biology, vol.40, issue.3, p.1000019, 2008.
DOI : 10.1371/journal.pcbi.1000019.s005

J. Leloup and A. Goldbeter, Toward a detailed computational model for the mammalian circadian clock, Proceedings of the National Academy of Sciences, vol.100, issue.12, pp.7051-7056, 2003.
DOI : 10.1073/pnas.1132112100

P. Loyer, J. H. Trembley, R. Katona, V. J. Kidd, and J. M. Lahti, Role of CDK/cyclin complexes in transcription and RNA splicing, Cellular Signalling, vol.17, issue.9, pp.1033-1051, 2005.
DOI : 10.1016/j.cellsig.2005.02.005

A. Seth, S. Gupta, and R. J. Davis, Cell cycle regulation of the c-Myc transcriptional activation domain., Molecular and Cellular Biology, vol.13, issue.7, pp.4125-4136, 1993.
DOI : 10.1128/MCB.13.7.4125

E. Atkins, C. Banayo, R. T. Liddle, J. R. Yu, S. A. Yates et al., Circadian Amplitude Regulation via FBXW7-Targeted REV- ERB? Degradation, Cell, vol.165, issue.7, pp.1644-1657, 2016.