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