A Case Study in Model-driven Synthetic Biology. - David R. Gilbert; Monika Heiner; Susan Rosser; Rachael Fulton; Xu Gu; Maciej Trybilo (BICC, 2008)