A. Antoniotti, M. Policriti, A. Ugel, N. Mishra, and B. , Model Building and Model Checking for Biochemical Processes, Cell Biochemistry and Biophysics, vol.38, issue.3, pp.271-286, 2003.
DOI : 10.1385/CBB:38:3:271

R. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.1-2, 2008.
DOI : 10.1016/j.scico.2007.08.001

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., 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

G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro et al., Efficient parameter search for qualitative models of regulatory networks using symbolic model checking, Bioinformatics, vol.26, issue.18, pp.18-603, 2010.
DOI : 10.1093/bioinformatics/btq387
URL : https://hal.archives-ouvertes.fr/inria-00482569

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, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

C. Calzone, L. Fages, F. Soliman, and S. , 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

C. Calzone, L. Soliman, and S. , Coupling the Cell cycle and the Circadian Cycle, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070191

N. Chabrier, F. Fages, C. Priami, . Ed, and . Cmsb-', Symbolic Model Checking of Biochemical Networks, 03: Proceedings of the first workshop on Computational Methods in Systems Biology, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of the International Conference on Computer-Aided Verification, CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer et al., PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002.
DOI : 10.1142/9789812799623_0038

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

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

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

N. Hansen and A. Ostermeier, Completely Derandomized Self-Adaptation in Evolution Strategies, Evolutionary Computation, vol.9, issue.2, pp.159-195, 2001.
DOI : 10.1016/0004-3702(95)00124-7

D. Heitzler, G. Durand, N. Gallay, A. Rizk, S. Ahn et al., Competing G proteincoupled receptor kinases balance G protein and ?-arrestin signaling, Molecular Systems Biology, vol.12, issue.8, p.590, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776169

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004.
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849

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

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

P. T. Monteiro, D. Ropers, R. Mateescu, A. T. Freitas, and H. De-jong, Temporal logic patterns for querying dynamic models of cellular interaction networks, Bioinformatics, vol.24, issue.16, pp.227-233, 2008.
DOI : 10.1093/bioinformatics/btn275
URL : https://hal.archives-ouvertes.fr/inria-00357805

E. Nagoshi, Circadian Gene Expression in Individual Fibroblasts, Cell, vol.119, issue.5, pp.693-705, 2004.
DOI : 10.1016/j.cell.2004.11.015

I. Pérez-roger, D. L. Solomon, A. Sewing, and H. Land, Myc activation of cyclin E/Cdk2 kinase involves induction of cyclin E gene transcription and inhibition of p27(Kip1) binding to newly formed complexes, Oncogene, vol.14, pp.20-2373, 1997.

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

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

D. Srivastava, Subsumption and indexing in constraint query languages with linear arithmetic constraints, Annals of Mathematics and Artificial Intelligence, vol.8, issue.3-4, pp.315-343, 1993.
DOI : 10.1007/BF01530796

S. Stoma, A. Donzé, F. Bertaux, O. Maler, and G. Batt, STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification, PLoS Computational Biology, vol.102, issue.5, 2013.
DOI : 10.1371/journal.pcbi.1003056.s010
URL : https://hal.archives-ouvertes.fr/hal-00750063