P. Torrini, R. Heckel, I. Rath, and G. Bergmann, “Stochastic Graph Transformation with Regions”, eceasst, vol. 29, Jul. 2010.