Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification | IEEE Conference Publication | IEEE Xplore