A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems | IEEE Journals & Magazine | IEEE Xplore