Ranger, U.; Schultchen, E.; Mosler, C. Specifying Distributed Graph Transformation Systems. eceasst 2007, 1.