@article {3938,
	title = {Verifying Model Transformations by Structural Correspondence},
	journal = {Electronic Communications of the EASST},
	volume = {10},
	year = {2008},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/25_AN_GK.pdf},
	author = {Narayanan, Anantha and Karsai, Gabor}
}
