Narayanan, A.; Karsai, G. Verifying Model Transformations by Structural Correspondence. eceasst 2008, 10.