Experimentally driven verification of synthetic biological circuits. - Boyan Yordanov; Evan Appleton; Rishi Ganguly; Ebru Aydin Gol; Swati Banerjee Carr; Swapnil Bhatia; Traci Haddock; Calin Belta; Douglas Densmore (DATE, 2012)