
Modelling and computational simulation are crucial for the large-scale engineering of biological circuits since they allow the system under design to be simulated prior to implementation in vivo. To support automated, model-driven design it is desirable that in silico models are modular, composable and use standard…