A. Narayanan and G. Karsai, “Verifying Model Transformations by Structural Correspondence”, ECEASST, vol. 10, Jun. 2008.