related documents Modeling and Design Automation of Biological Circuits and Systems Conference Proceeding