C. Ermel and K. Ehrig, “Graph Modelling and Transformation: Theory meets Practice”, ECEASST, vol. 30, Nov. 2010.