@inbook {3466,
	title = {On the Correctness of Model Transformations in the Development of Embedded Systems},
	booktitle = {Lecture Notes in Computer Science},
	volume = {4888},
	year = {2007},
	publisher = {Springer},
	organization = {Springer},
	author = {Karsai, Gabor and Narayanan, Anantha}
}
