Misirli,, "Tawny-SBOL: Using ontologies to design and constrain genetic circuits", , 2017