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