Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification. - Chang-Jun Wang; Jie-Hong R. Jiang (BioCAS, 2022)