@article {3542,
	title = {Software Composition and Verification for Sensor Networks},
	journal = {Science of Computer Programming (Elsevier)},
	volume = {56},
	year = {2005},
	month = {April},
	pages = {191--210},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Volgyesi_P_4_0_2005_Software_C.pdf},
	author = {Volgyesi, Peter and Maroti, Miklos and Dora, Sebestyen and Osses, Esteban and Ledeczi, Akos}
}
