Gabor Karsai Anantha Narayanan On the Correctness of Model Transformations in the Development of Embedded Systems. 1-18 2006 conf/monterey/2006 Monterey Workshop http://dx.doi.org/10.1007/978-3-540-77419-8_1 db/conf/monterey/monterey2006.html#KarsaiN06