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
DOI : 10.1007/978-3-319-23401-4_18
URL : https://hal.archives-ouvertes.fr/hal-01236264

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

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

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.9928-9833, 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
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

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
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, 2014.

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

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.

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

B. J. Altman, A. L. Hsieh, A. Sengupta, S. Y. Krishnanaiah, Z. E. Stine et al., MYC Disrupts the Circadian Clock and Metabolism in Cancer Cells, Cell Metabolism, vol.22, issue.6, pp.2015-1009
DOI : 10.1016/j.cmet.2015.09.003

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 Comput Biol, vol.4, issue.3, 2008.

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 CD- K/cyclin complexes in transcription and RNA splicing, Cellular Signalling, vol.17, issue.9, 2005.