F. Mantz, G. Taentzer, and Y. Lamo, “Well-formed Model Co-evolution with Customizable Model Migration”, eceasst, vol. 58, Jul. 2013.