Modularization and Systems Engineering in Synthetic Biology: A Formal Architecture Modeling Approach using SysML | IEEE Conference Publication | IEEE Xplore