@article {3939,
	title = {Towards Verifying Model Transformations},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {211},
	year = {2008},
	pages = {p.191-200},
	author = {Narayanan, Anantha and Karsai, Gabor}
}
