Ensuring Containment Constraints in Graph-based Model Transformation Approaches. - Christian Köhler 001; Holger Lewin; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)