A. Marr, Growth rate of Escherichia coli, Microbiol. Rev, vol.55, pp.316-333, 1991.

E. Ozbudak, M. Thattai, H. Lim, B. Shraiman, and A. Van-oudenaarden, Multistability in the lactose utilization network of Escherichia coli, Nature, vol.427, issue.6976, pp.737-740, 2004.
DOI : 10.1038/nature02298

A. Madeira, Foundations and techniques for software recongurability, 2013.

A. Madeira, R. Neves, L. S. Barbosa, and M. A. Martins, A method for rigorous design of reconfigurable systems, Science of Computer Programming, vol.132, pp.50-76, 2016.
DOI : 10.1016/j.scico.2016.05.001

D. Figueiredo, Relating Bisimulations with Attractors in Boolean Network Models, International Conference on Algorithms for Computational Biology, pp.17-25, 2016.
DOI : 10.1016/j.automatica.2013.01.015

URL : http://ria.ua.pt/bitstream/10773/16097/1/Article.pdf

A. P. De and . Silva, Molecular logic-based computation, 2012.

A. Goñi-moreno and M. Amos, A reconfigurable NAND/NOR genetic logic gate, BMC Systems Biology, vol.6, issue.1, 2012.
DOI : 10.1038/nature03461

A. Tamsir, J. J. Tabor, and C. A. Voigt, Robust multicellular computing using genetically encoded NOR gates and chemical ???wires???, Nature, vol.14, issue.7329, pp.212-215, 2011.
DOI : 10.1080/00207177108932113

URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3904220

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2 nd Ed, 2008.
DOI : 10.1007/978-1-4757-4070-7

M. Bernardo, P. Degano, and G. Zavattaro, Formal Methods for, Computational Systems Biology Lecture Notes in Computer Science, vol.5016, 2008.

A. Platzer, Logical analysis of hybrid systems: proving theorems for complex dynamics, 2010.

Y. Kouskoulas, D. Renshaw, A. Platzer, and P. Kazanzides, Certifying the safe design of a virtual fixture control algorithm for a surgical robot, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.263-272, 2013.
DOI : 10.1145/2461328.2461369

A. Platzer and E. M. Clarke, Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, 2009.
DOI : 10.1007/978-3-642-05089-3_35

A. Platzer and J. Quesel, European Train Control System, pp.246-265, 2009.
DOI : 10.1007/978-3-642-14509-4_7

G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty, IEEE Transactions on Automatic Control, vol.53, issue.Special Issue, pp.215-229, 2008.
DOI : 10.1109/TAC.2007.911330

D. Harel, D. Kozen, and J. Tiuryn, Dynamic logic, 2000.

T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996.
DOI : 10.1109/LICS.1996.561342

M. Chaves and M. Preto, Hierarchy of models: From qualitative to quantitative analysis of circadian rhythms in cyanobacteria, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.23, issue.2, p.25113, 2013.
DOI : 10.1073/pnas.1007613107

URL : https://hal.archives-ouvertes.fr/hal-00850373

H. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002.
DOI : 10.1089/10665270252833208

URL : https://hal.archives-ouvertes.fr/inria-00072606

R. Casey, H. De-jong, and J. Gouzé, Piecewise-linear Models of Genetic Regulatory Networks: Equilibria and their Stability, Journal of Mathematical Biology, vol.52, issue.1, pp.27-56, 2006.
DOI : 10.1007/s00285-005-0338-2

URL : https://hal.archives-ouvertes.fr/inria-00071250

L. Glass and S. Kauffman, The logical analysis of continuous, nonlinear biochemical control networks, J. Theor. Biol, pp.39-103, 1973.

L. Habets, P. J. Collins, and J. H. Van-schuppen, Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.938-948, 2006.
DOI : 10.1109/TAC.2006.876952

H. De-jong, J. Geiselmann, C. Hernandez, and M. Page, Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-344, 2003.
DOI : 10.1093/bioinformatics/btf851

URL : https://hal.archives-ouvertes.fr/inria-00072325

D. Figueiredo, Differential dynamic logic and applications, Master's thesis, 2015.

M. Chaves and J. Gouzé, Exact control of genetic networks in a qualitative framework: The bistable switch example, Automatica, vol.47, issue.6, pp.1105-1112, 2011.
DOI : 10.1016/j.automatica.2011.01.071

URL : https://hal.archives-ouvertes.fr/inria-00507040

X. Li, K. Bauer, and K. Schneider, Interactive verification of cyber-physical systems: Interfacing averest and keymaera, Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on, pp.1405-1412, 2013.

S. Kong, S. Gao, W. Chen, and E. Clarke, dReach: ??-Reachability Analysis for Hybrid Systems, pp.200-205, 2015.
DOI : 10.1007/978-3-662-46681-0_15