Narayanan, A. and Karsai, G. (2008) “Verifying Model Transformations by Structural Correspondence”, Electronic Communications of the EASST, 10. doi: 10.14279/tuj.eceasst.10.157.