Multi-abstraction modeling in synthetic biology | IEEE Conference Publication | IEEE Xplore