@article {3577,
	title = {Embedded Software Composition and Verification},
	year = {2004},
	month = {February},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Volgyesi_P_2_13_2004_Embedded_S.pdf},
	author = {Volgyesi, Peter and Maroti, Miklos and Dora, Sebestyen and Osses, Esteban and Ledeczi, Akos and Paka, Tamas}
}
