@article{GT-VMT-2006-NarayananK08,
	author        = "Anantha Narayanan and Gabor Karsai",
	doi           = "10.1016/j.entcs.2008.04.041",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "191--200",
	title         = "{Towards Verifying Model Transformations}",
	volume        = 211,
	year          = 2008,
}