@article{797,
  author = {Gabor Karsai and Janos Sztipanovits and Akos Ledeczi and Ted Bapty},
  title = {Model-integrated development of embedded software},
  year = {2003},
  journal = {Proceedings of the IEEE},
  volume = {91},
  pages = {145--164},
  month = {January},
  language = {eng},
}