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