R. B. Altman, Editorial: Building successful biological databases, Briefings in Bioinformatics, vol.5, issue.1, pp.4-5, 2004.
DOI : 10.1093/bib/5.1.4

E. Andrianantoandro, S. Basu, K. David, R. Karig, and . Weiss, Synthetic biology: new engineering rules for an emerging discipline, Molecular Systems Biology, vol.299, issue.1, 2006.
DOI : 10.1038/msb4100073

N. Annaluru, H. Muller, L. A. Mitchell, S. Ramalingam, G. Stracquadanio et al., Total Synthesis of a Functional Designer Eukaryotic Chromosome, Science, vol.344, issue.6179, pp.34455-58, 2014.
DOI : 10.1126/science.1249252

URL : https://hal.archives-ouvertes.fr/pasteur-01420002

P. Ashenden, The Designer's Guide to VHDL, 2008.

T. Attwood and A. Gisel, Concepts, Historical Milestones and the Central Place of Bioinformatics in Modern Biology: A European Perspective, Bioinformatics- Trends, pp.3-39, 2011.
DOI : 10.5772/23535

F. Baader and W. Snyder, Unification Theory, Handbook of automated reasoning, pp.441-523

F. Baader and W. Büttner, Unification in commutative idempotent monoids, Theoretical Computer Science, vol.56, issue.3, pp.345-352, 1988.
DOI : 10.1016/0304-3975(88)90140-5

A. Basso-blandin and F. Delaplace, GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology, Electronic Proceedings in Theoretical Computer Science, vol.100, 1206.
DOI : 10.4204/EPTCS.100.3

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

A. Basso-blandin and F. Delaplace, GUBS, a Behaviour-Based Language for Design in Synthetic Biology, Scientific Annals of Computer Science, vol.23, issue.1, pp.1-38, 2013.
DOI : 10.7561/SACS.2013.1.1

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

A. Basso-blandin and F. Delaplace, GUBS a Language for Synthetic Biology: Specification and Compilation, Unconventional Computation and Natural Computation -13th International Conference, UCNC 2014 Proceedings, pp.40-53, 2014.
DOI : 10.1007/978-3-319-08123-6_4

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

S. Basu, Y. Gerchman, C. H. Collins, F. H. Arnold, and R. Weiss, A synthetic multicellular system for programmed pattern formation, Nature, vol.6, issue.7037, pp.4341130-4341134, 2005.
DOI : 10.1128/IAI.70.10.5635-5646.2002

J. Beal and J. Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006.
DOI : 10.1109/MIS.2006.29

J. Beal and J. Bachrach, Cells Are Plausible Targets for High-Level Spatial Languages, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.284-291, 2008.
DOI : 10.1109/SASOW.2008.14

J. Beal, T. Lu, and R. Weiss, Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks, PLoS ONE, vol.104, issue.8, p.22490, 2011.
DOI : 10.1371/journal.pone.0022490.t005

A. Steven, A. M. Benner, and . Sismour, Synthetic biology, Nat Rev Genet, vol.6, pp.533-543, 2005.

G. Bernot, F. Cassez, J. Comet, F. Delaplace, C. Müller et al., Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007.
DOI : 10.1016/j.entcs.2004.01.038

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

L. Bilitchenko, A. Liu, S. Cheung, E. Weeding, B. Xia et al., Eugene ??? A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems, PLoS ONE, vol.85, issue.4, p.18882, 2011.
DOI : 10.1371/journal.pone.0018882.s001

L. Bilitchenko, A. Liu, and D. Densmore, The Eugene Language for Synthetic Biology, Methods in enzymology, vol.498, pp.153-72, 2011.
DOI : 10.1016/B978-0-12-385120-8.00007-3

P. Blackburn, J. F. Van-benthem, and F. Wolter, Handbook of Modal Logic, Studies in Logic and Practical Reasoning, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00580143

F. Blattner, C. Plunkett, N. Bloch, . Perna, . Burland et al., The Complete Genome Sequence of Escherichia coli K-12, Science, vol.277, issue.5331, pp.2771453-62, 1997.
DOI : 10.1126/science.277.5331.1453

P. Bourne, Will a Biological Database Be Different from a Biological Journal?, PLoS Computational Biology, vol.6, issue.3, p.34, 2005.
DOI : 1471-2105(2005)006[S1:OOBCAO]2.0.CO;2

T. Braüner, Hybrid Logic and Its Proof-Theory, 2010.
DOI : 10.1007/978-94-007-0002-4

Y. Cai, M. W. Lux, L. Adam, and J. Peccoud, Modeling Structure-Function Relationships in Synthetic DNA Sequences using Attribute Grammars, PLoS Computational Biology, vol.27, issue.10, 2009.
DOI : 10.1371/journal.pcbi.1000529.s003

Y. Cai, L. Mandy, J. Wilson, and . Peccoud, GenoCAD for iGEM: a grammatical approach to the design of standard-compliant constructs, Nucleic Acids Research, vol.38, issue.8, pp.2637-2681, 2010.
DOI : 10.1093/nar/gkq086

J. Calvert, Synthetic biology : constructing nature ? The Sociological Review, pp.95-112, 2010.

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-1812, 2006.
DOI : 10.1093/bioinformatics/btl172

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

D. E. Cameron, C. J. Bashor, and J. J. Collins, A brief history of synthetic biology, Nature Reviews Microbiology, vol.277, issue.5, pp.381-390, 2014.
DOI : 10.1038/nrmicro3239

A. Barry-canton, D. Labno, and . Endy, Refinement and standardization of synthetic biological parts and devices, Nature Biotechnology, vol.36, issue.7, pp.787-793, 2008.
DOI : 10.1038/nbt1413

R. H. Carlson, Biology Is Technology : The Promise, Peril, and New Business of Engineering Life, 2010.
DOI : 10.4159/9780674053625

C. French, K. De-mora, and N. Joshi, Synthetic biology and the art of biosensor design. Institute of Medicine (US) Forum on Microbial Threats, 2011.

S. Cerrito and M. C. Mayer, A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders, Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.104-118, 2011.
DOI : 10.1007/11538363_24

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

D. Chandran, T. Frank, . Bergmann, M. Herbert, and . Sauro, TinkerCell: modular CAD tool for synthetic biology, Journal of Biological Engineering, vol.3, issue.1, p.19, 2009.
DOI : 10.1186/1754-1611-3-19

S. Chen, H. Zhang, H. Shi, W. Ji, J. Feng et al., Automated Design of Genetic Toggle Switches with Predetermined Bistability, ACS Synthetic Biology, vol.1, issue.7, pp.284-290, 2012.
DOI : 10.1021/sb300027y

M. Cialdea, M. , and S. Cerrito, Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic, Automated Reasoning, pp.255-262, 2010.
DOI : 10.1007/978-3-642-14203-1_22

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

O. Cinquin, J. Demongeot, and F. Medicine, Positive and Negative Feedback: Striking a Balance Between Necessary Antagonists, Journal of Theoretical Biology, vol.216, issue.2, 2002.
DOI : 10.1006/jtbi.2002.2544

F. Ciocchetta and J. Hillston, Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, vol.410, issue.33-34, pp.33-343065, 2009.
DOI : 10.1016/j.tcs.2009.02.037

K. Clancy and C. A. Voigt, Programming cells: towards an automated ???Genetic Compiler???, Current Opinion in Biotechnology, vol.21, issue.4, pp.581-572, 2010.
DOI : 10.1016/j.copbio.2010.07.005

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

C. A. Coello, A Comprehensive Survey of Evolutionary-Based Multiobjective Optimization Techniques, Knowledge and Information Systems, vol.265, issue.2, pp.129-156, 1999.
DOI : 10.1007/BF03325101

M. J. Czar, Y. Cai, and J. Peccoud, Writing DNA with GenoCADTM, Nucleic Acids Research, vol.37, issue.Web Server, pp.40-47, 2009.
DOI : 10.1093/nar/gkp361

URL : http://doi.org/10.1093/nar/gkp361

R. Dae-kyun, P. Eric, M. Ouellet-mario, F. Karl, J. Newman-karyn et al., Production of the antimalarial drug precursor artemisinic acid in engineered yeast, Nature, vol.440, pp.940-943, 2006.

M. D. Agostino, D. M. Gabbay, R. Hähnle, and J. Posegga, Handbook of Tableau Methods, 1999.

A. Danchin, Scaling up synthetic biology: Do not forget the chassis, FEBS Letters, vol.106, issue.15, pp.2129-2137, 2012.
DOI : 10.1016/j.febslet.2011.12.024

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling of Cellular Signalling, In CONCUR, pp.17-41, 2007.
DOI : 10.1007/978-3-540-74407-8_3

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

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.362-381, 2010.
DOI : 10.1109/LICS.2010.44

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

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling, Symmetries, Refinements, Formal Methods in Systems Biology, pp.103-122, 2008.
DOI : 10.1007/978-3-540-68413-8_8

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

A. Prasanna, N. D. Silva, and . Mcclenaghan, Molecular-scale logic gates, Chemistry -A European Journal, vol.10, issue.3, pp.574-586, 2004.

F. Delaplace, H. Klaudel, and A. Cartier-michaud, Discrete Causal ModelView of Biological Networks, Proceedings of the 8th International Conference on Computational Methods in Systems Biology -CMSB '10, pp.4-13, 2010.

B. Michael, S. Elowitz, and . Leibler, A synthetic oscillatory network of transcriptional regulators, Nature, vol.403, issue.6767, pp.335-338, 2000.

D. Endy, Foundations for engineering biology, Nature, vol.42, issue.7067, pp.449-453, 2005.
DOI : 10.1038/nature04342

F. Fages, Associative-commutative unification, Journal of Symbolic Computation, vol.3, issue.3, pp.257-275, 1987.
DOI : 10.1016/S0747-7171(87)80004-4

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

C. Anthony, . Forster, M. George, and . Church, Towards synthesis of a minimal cell, Molecular systems biology, p.45, 2006.

P. Francois and V. Hakim, Design of genetic networks with specified functions by evolution in silico, Proceedings of the National Academy of Sciences, vol.101, issue.2, pp.580-585, 2004.
DOI : 10.1073/pnas.0304532101

M. R. Garey and D. S. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completeness, 1979.

A. Ghosh and S. Dehuri, Evolutionary algorithms for multi-criterion optimization : A survey, International Journal of Computing & Information Sciences, vol.2, issue.1, pp.38-57, 2004.

J. Giavitto and O. Michel, MGS, Electronic Notes in Theoretical Computer Science, 2001.
DOI : 10.1016/S1571-0661(04)00293-2

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

J. L. Giavitto, O. Michel, J. Cohen, and A. Spicher, Computations in Space and Space in Computations, Unconventional Programming Paradigms, pp.97-97, 2005.
DOI : 10.1007/11527800_11

D. G. Gibson, J. I. Glass, C. Lartigue, V. N. Noskov, R. Y. Chuang et al., Creation of a Bacterial Cell Controlled by a Chemically Synthesized Genome, Science, vol.329, issue.5987, p.32952, 2010.
DOI : 10.1126/science.1190719

C. Di-giusto, H. Klaudel, and F. Delaplace, Systemic approach for toxicity analysis, 1159.
URL : https://hal.archives-ouvertes.fr/hal-01078546

D. Götzmann, M. Kaminski, and G. Smolka, Spartacus: A Tableau Prover for Hybrid Logic, Electronic Notes in Theoretical Computer Science, vol.262, issue.0, pp.127-139, 2010.
DOI : 10.1016/j.entcs.2010.04.010

C. Matthijn, D. I. Hesselman, B. M. Odoni, S. Ryback, R. G. De-groot et al., A multiplatform flow device for microbial (co-) cultivation and microscopic analysis, PLoS ONE, vol.7, issue.5, p.36982, 2012.

A. D. Hill, J. R. Tomshine, E. M. Weeding, V. Sotiropoulos, and Y. N. Kaznessis, SynBioSS: the synthetic biology modeling suite, Bioinformatics, vol.24, issue.21, pp.2551-2553, 2008.
DOI : 10.1093/bioinformatics/btn468

URL : http://bioinformatics.oxfordjournals.org/cgi/content/short/24/21/2551

C. , E. Hodgman, and M. C. Jewett, Cell-free synthetic biology : Thinking outside the cell, Metabolic Engineering, vol.14, pp.261-269, 2012.

G. Hoffmann and C. Areces, HTab: a Terminating Tableaux System for Hybrid Logic, Electronic Notes in Theoretical Computer Science, vol.231, issue.0, pp.3-19, 2009.
DOI : 10.1016/j.entcs.2009.02.026

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

M. Hucka, The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-531, 2003.
DOI : 10.1093/bioinformatics/btg015

D. Hume, A Treatise of Human Nature, Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects, 1739.

C. Michael, . Jewett, A. Kara, A. Calhoun, J. J. Voloshin et al., An integrated cell-free metabolic platform for protein production and synthetic biology, Molecular systems biology, vol.4, p.220, 2008.

M. Kaminski, S. Schneider, and G. Smolka, Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies, Automated Reasoning with Analytic Tableaux and Related Methods, pp.235-249, 2009.
DOI : 10.1007/978-3-642-02716-1_18

D. Kapur and P. Narendran, NP-completeness of the set unification and matching problems, 8th International Conference On Automated Deduction, 1986.
DOI : 10.1007/3-540-16780-3_113

K. Knight, Unification: a multidisciplinary survey, ACM Computing Surveys, vol.21, issue.1, pp.93-124, 1989.
DOI : 10.1145/62029.62030

T. F. Knight, Idempotent vector design for standard assembly of biobricks, 2003.

A. Saul and . Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica, vol.16, pp.83-94, 1963.

J. Krivine, V. Danos, and A. Benecke, Modelling Epigenetic Information Maintenance: A Kappa Tutorial, Computer Aided Verification, pp.17-32, 2009.
DOI : 10.1007/978-3-642-02658-4_3

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

D. Lewis, Causation as Influence, The Journal of Philosophy, vol.97, issue.4, pp.182-197, 2000.
DOI : 10.2307/2678389

T. Lu, A. Khalil, and J. Collins, Next-generation synthetic gene networks, Nature Biotechnology, vol.27, issue.12, pp.1139-1150, 2009.
DOI : 10.1038/nbt.1591

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

P. L. Luisi, F. Ferri, and P. Stano, Approaches to semi-synthetic minimal cells: a review, Naturwissenschaften, vol.299, issue.1, pp.1-13, 2006.
DOI : 10.1007/s00114-005-0056-z

F. Michard, Looking at Transpulmonary Thermodilution Curves, Chest, vol.126, issue.2, pp.656-657, 2004.
DOI : 10.1378/chest.126.2.656-a

S. Mirschel, K. Steinmetz, M. Rempel, M. Ginkel, and E. D. Gilles, PROMOT: modular modeling for systems biology, Bioinformatics, vol.25, issue.5, pp.687-696, 2009.
DOI : 10.1093/bioinformatics/btp029

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

G. Michael, C. Montague, S. Lartigue, and . Vashee, Synthetic genomics : potential and limitations, Current Opinion in Biotechnology, vol.23, issue.5, pp.659-665, 2012.

M. P. Pedersen, Towards programming languages for genetic engineering of living cells, Journal of The Royal Society Interface, vol.2, issue.4, pp.437-450, 2009.
DOI : 10.1371/journal.pone.0000339

M. Pedersen, Modular languages for systems and synthetic biology, 2010.

C. Priami, A. Regev, E. Shapiro, and W. Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001.
DOI : 10.1016/S0020-0190(01)00214-9

P. E. Purnick and R. Weiss, The second wave of synthetic biology: from modules to systems, Nature Reviews Molecular Cell Biology, vol.307, issue.6, pp.410-432, 2009.
DOI : 10.1038/nrm2698

E. M. Quandt, M. J. Hammerling, R. M. Summers, P. B. Otoupal, B. Slater et al., CBB5, ACS Synthetic Biology, vol.2, issue.6, pp.301-307, 2013.
DOI : 10.1021/sb4000146

S. Regot, J. Macia, N. Conde, K. Furukawa, J. Kjellén et al., Distributed biological computation with multicellular engineered networks, Nature, vol.420, issue.7329, pp.469207-211, 2011.
DOI : 10.1038/nature09679

G. Rodrigo, J. Carrera, T. E. Landrain, and A. Jaramillo, Perspectives on the automatic design of regulatory systems for synthetic biology, FEBS Letters, vol.6, issue.15, pp.2037-2079, 2012.
DOI : 10.1016/j.febslet.2012.02.031

G. Rodrigo and A. Jaramillo, AutoBioCAD: Full Biodesign Automation of Genetic Circuits, ACS Synthetic Biology, vol.2, issue.5, pp.230-236, 2013.
DOI : 10.1021/sb300084h

J. Romm, Five hards truths for the Synthetic Biology, Nature, vol.463, 2004.

K. Alexander, . Rowe, Y. Samantha, . Rowe, W. Robert et al., The burden of malaria mortality among african children in the year 2000, International Journal of Epidemiology, vol.35, issue.3, pp.691-704, 2006.

E. Royston, A. Ghosh, P. Kofinas, M. T. Harris, and J. N. Culver, Self-Assembly of Virus-Structured High Surface Area Nanomaterials and Their Application as Battery Electrodes, Langmuir, vol.24, issue.3, pp.906-912, 2008.
DOI : 10.1021/la7016424

M. Ryadnov, L. Brunsveld, and H. Suga, Synthetic Biology :. SPR -Synthetic Biology, Royal Society of Chemistry, 2014.

H. M. Salis, E. Mirsky, and C. Voigt, Automated design of synthetic ribosome binding sites to control protein expression, Nature Biotechnology, vol.98, issue.10, pp.946-50, 2009.
DOI : 10.1038/nbt.1568

D. F. Savage, J. Way, and P. A. Silver, Defossiling Fuel: How Synthetic Biology Can Transform Biofuel Production, ACS Chemical Biology, vol.3, issue.1, pp.13-16, 2008.
DOI : 10.1021/cb700259j

R. Michael, J. K. Schlabach, M. Hu, S. J. Li, and . Elledge, Synthetic design of strong promoters, Proceedings of the National Academy of Sciences, vol.107, issue.6, pp.2538-2543, 2010.

M. Schmidt, Diffusion of synthetic biology: a challenge to biosafety, Systems and Synthetic Biology, vol.310, issue.5745, pp.1-6, 2008.
DOI : 10.1007/s11693-008-9018-z

R. Shetty, D. Endy, and T. Knight, Engineering BioBrick vectors from BioBrick parts, Journal of Biological Engineering, vol.2, issue.1, p.5, 2008.
DOI : 10.1186/1754-1611-2-5

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

S. Sjoholm and L. Lindh, VHDL for Designers, 1997.

P. Lucian, . Smith, T. Frank, D. Bergmann, . Chandran et al., Antimony : a modular model definition language, Bioinformatics, vol.25, issue.18, pp.2452-2456, 2009.

M. E. Stickel, A Unification Algorithm for Associative-Commutative Functions, Journal of the ACM, vol.28, issue.3, pp.423-434, 1981.
DOI : 10.1145/322261.322262

J. Stocker, D. Balluch, M. Gsell, H. Harms, J. Feliciano et al., Development of a set of simple bacterial biosensors for quantitative and rapid measurements of arsenite and arsenate in potable water, Environmental Science & Technology, issue.20, pp.374743-4750, 2003.

F. Stolzenburg, An algorithm for general set unification and its complexity, Journal of Automated Reasoning, vol.22, issue.1, pp.45-63, 1999.
DOI : 10.1023/A:1006019227709

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks?ii. immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, issue.2, pp.277-297, 1995.

D. E. Thomas and P. Moorby, The Verilog Hardware Description Language, 1998.

E. Donald, P. R. Thomas, and . Moorby, The Verilog hardware description language, 2002.

P. Umesh, F. Naveen, C. U. Rao, and S. A. Nair, Programming languages for synthetic biology, Systems and Synthetic Biology, vol.25, issue.18, pp.265-269, 2010.
DOI : 10.1007/s11693-011-9070-y

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

M. Valls and L. Victor-de, Exploiting the genetic and biochemical capacities of bacteria for the remediation of heavy metal pollution, FEMS Microbiology Reviews, vol.26, issue.4, pp.327-338, 2002.
DOI : 10.1111/j.1574-6976.2002.tb00618.x

V. Vinson and E. Pennisi, The Allure of Synthetic Biology, Science, vol.333, issue.6047, p.1235, 2011.
DOI : 10.1126/science.333.6047.1235

B. Wang, I. Richard, N. Kitney, M. Joly, and . Buck, Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology, Nature Communications, vol.26, p.508, 2011.
DOI : 10.1038/ncomms1516

W. Weber and M. Fussenegger, The impact of synthetic biology on drug discovery, Drug Discovery Today, vol.14, issue.19-20, pp.19-20956, 2009.
DOI : 10.1016/j.drudis.2009.06.010

N. Wei, J. Quarterman, and Y. Jin, Marine macroalgae: an untapped resource for producing fuels and chemicals, Trends in Biotechnology, vol.31, issue.2, pp.70-77, 2013.
DOI : 10.1016/j.tibtech.2012.10.009

L. L. Wolfenbarger and P. R. Phifer, The Ecological Risks and Benefits of Genetically Engineered Plants, Science, vol.290, issue.5499, pp.2088-2093, 2000.
DOI : 10.1126/science.290.5499.2088

B. Xia, S. Bhatia, B. Bubenheim, M. Dadgar, D. Densmore et al., Developer's and User's Guide to Clotho v2.0, Methods in enzymology, vol.498, pp.97-135, 2011.
DOI : 10.1016/B978-0-12-385120-8.00005-X

H. Ye, M. Daoud-el, R. Baba, M. Peng, and . Fussenegger, A Synthetic Optogenetic Transcription Device Enhances Blood-Glucose Homeostasis in Mice, Science, vol.332, issue.6037, pp.3321565-1568, 2011.
DOI : 10.1126/science.1203535

A. Zhou, B. Y. Qu, H. Li, S. Z. Zhao, P. N. Suganthan et al., Multiobjective evolutionary algorithms: A survey of the state of the art, Swarm and Evolutionary Computation, vol.1, issue.1, pp.32-49, 2011.
DOI : 10.1016/j.swevo.2011.03.001