Narayanan, Anantha, and Gabor Karsai. “Verifying Model Transformations by Structural Correspondence”. Electronic Communications of the EASST, vol. 10, June 2008, doi:10.14279/tuj.eceasst.10.157.