Giampaolo Bella, Pietro Liò: Formal Analysis of the Genetic Toggle. CMSB 2009: 96-110