F. Mantz, G. Taentzer, and Y. Lamo, “Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping”, eceasst, vol. 61, Jun. 2013.