<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8866</REFNUM><AUTHORS><AUTHOR>Gilbert,D.R.</AUTHOR><AUTHOR>Heiner,M.</AUTHOR><AUTHOR>Rosser,S.</AUTHOR><AUTHOR>Fulton,F.</AUTHOR><AUTHOR>Gu,X.</AUTHOR><AUTHOR>Trybilo,M.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>A Case Study in Model-driven Synthetic Biology</TITLE><PLACE_PUBLISHED>Biologically Inspired Cooperative Computing: BICC 2008</PLACE_PUBLISHED><PUBLISHER>IFIP</PUBLISHER><LABEL>Gilbert:2008:8866</LABEL><KEYWORDS><KEYWORD>synthetic biology</KEYWORD></KEYWORDS<ABSTRACT>We report on a case study in synthetic biology, demonstrating the model-driven design of a self-powering electrochemical biosensor. An essential result of the design process is a general template of a biosensor, which can be instantiated to be adapted to specific pollutants. This template represents a gene expression network extended by metabolic activity. We illustrate the model-based analysis of this template using qualitative, stochastic and continuous Petri nets and related analysis techniques, contributing to a reliable and robust design.</ABSTRACT><URL>http://www.brc.dcs.gla.ac.uk/~drg/publications/conferences/bicc08.pdf</URL></RECORD></RECORDS></XML>