J. Behaegel, G. Comet, E. Bernot, F. Cornillon, and . Delaunay, A hybrid model of cell cycle in mammals, Journal of Bioinformatics and Computational Biology, vol.14, issue.01, pp.1640001-2016
DOI : 10.1007/978-3-642-03845-7_10
URL : https://hal.archives-ouvertes.fr/hal-01255242

J. Bernot, Z. Comet, A. Khalis, O. Richard, and . Roux, A genetically modified Hoare logic, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01282932

J. Bernot, A. Comet, J. Richard, and . 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

J. Bernot, O. Comet, and . Roux, A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network, pp.8-12, 2015.
DOI : 10.1007/978-3-319-23401-4_2
URL : https://hal.archives-ouvertes.fr/hal-01282932

E. Corblin, L. Fanchon, and . Trilling, Applications of a formal approach to decipher discrete genetic networks, BMC Bioinformatics, vol.11, issue.1, p.385, 2010.
DOI : 10.1186/1471-2105-11-385

. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975.
DOI : 10.1145/360933.360975

. Fages, Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOP- STR 2005, pp.1-510, 2005.
DOI : 10.1016/0021-9991(76)90041-3

Y. Halbwachs, P. Proy, and . Raymond, Verification of linear hybrid systems by means of convex approximations, Proceedings of the First International Static Analysis Symposium (SAS'94), pp.223-237, 1994.
DOI : 10.1007/3-540-58485-4_43

. Henzinger, The theory of hybrid automata, Verification of Digital and Hybrid Systems, pp.265-292, 2000.

P. Henzinger, H. Ho, and . Wong-toi, Hytech: A model checker for hybrid systems, Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97), pp.460-463, 1997.

. Hooman, Extending hoare logic to real-time, Formal Aspects of Computing, vol.6, issue.10, pp.801-825, 1994.
DOI : 10.1007/BF01088854

P. Hunt and . Sassone-corsi, Riding Tandem: Circadian Clocks and the Cell Cycle, Cell, vol.129, issue.3, pp.461-464, 2007.
DOI : 10.1016/j.cell.2007.04.015

J. Lee, F. Etchegaray, A. Cagampang, S. Loudon, and . Reppert, Posttranslational Mechanisms Regulate the Mammalian Circadian Clock, Cell, vol.107, issue.7, pp.855-867, 2001.
DOI : 10.1016/S0092-8674(01)00610-9

X. Liu, X. Zhang, and . Gao, Stability analysis for continuous-time and discrete-time genetic regulatory networks with delays, Applied Mathematics and Computation, vol.274, pp.628-643, 2016.
DOI : 10.1016/j.amc.2015.11.040

. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

M. Thomas and . Kaufman, Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.94, issue.1, pp.180-195, 2001.
DOI : 10.1073/pnas.94.3.814

A. Traynard, F. Fauré, D. Fages, and . Thieffry, Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation, Bioinformatics, vol.32, issue.17, pp.772-780, 2016.
DOI : 10.1093/bioinformatics/btw457
URL : https://hal.archives-ouvertes.fr/hal-01378465

S. Zhan, H. Wang, and . Zhao, Formal Modelling, Analysis and Verification of Hybrid Systems, In Unifying Theories of Programming and Formal Engineering Methods, vol.40, issue.5, pp.207-281, 2013.
DOI : 10.1016/0020-0190(91)90122-X