Koehler, C.; Lewin, H.; Taentzer, G. Ensuring Containment Constraints in Graph-Based Model Transformation Approaches. eceasst 2007, 6.