A Finite State Approach to the Synthesis of Bioengineering Control Systems | Synapse