@misc{indiciae539fe2fc3244, title = {Specification, Construction, and Exact Reduction of State Transition System Models of Biochemical Processes}, author = {Scott M. Bugenhagen and Daniel A. Beard}, year = {2012}, doi = {10.1016/j.bpj.2011.11.3245}, url = {https://arxiv.org/abs/1203.3395}, note = {Source identifier: 1203.3395} }