U. Ranger, E. Schultchen, and C. Mosler, “Specifying Distributed Graph Transformation Systems”, ECEASST, vol. 1, Jul. 2007.