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