Y. Lamo, A. Rutle, and F. Mantz, “Enforcement of Patterns by Constraint-Aware Model Transformations”, eceasst, vol. 31, May 2011.