Modeling, Simulation, Synthesis, And Optimization Of Biochemical Networks