Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe: Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. CMSB 2016: 232-251