Design Automation for Biological Models: A Pipeline that Incorporates Spatial and Molecular Complexity. - Devin P. Sullivan; Rohan Arepally; Robert F. Murphy; José Juan Tapia; James R. Faeder; Markus Dittrich; Jacob Czech (ACM Great Lakes Symposium on VLSI, 2015)