C. Koehler, H. Lewin, and G. Taentzer, “Ensuring Containment Constraints in Graph-based Model Transformation Approaches”, eceasst, vol. 6, Jun. 2007.