@conference{MaVaVaIvWaBeDe-IWBDA-2016,
    author    = {Madsen, Curtis and Vaidyanathan, Prashant and Vasile, Cristian Ioan and Ivison, Rachael and Wang, Junmin and Belta, Calin and Densmore, Douglas},
    title     = {{Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology}},
    booktitle = {International Workshop on Biodesign Automation (IWBDA)},
    pages     = {71--73},
    month     = {August},
    address   = {Newcastle University, Newcastle upon Tyne, UK},
    year      = {2016},
    note      = {\href{http://www.iwbdaconf.org/2016/docs/IWBDA_2016_Proceedings.pdf}{link}}
}