On the Correctness of Model Transformations in the Development of Embedded Systems. - Karsai, Gabor; Narayanan, Anantha (2006)