T. Heindel, V. Danos, R. Honorato-Zimmer, and S. Stucki, “Mean Quantitative Coverability in Stochastic Graph Transformation Systems”, eceasst, vol. 68, Oct. 2014.