Software composition and verification for sensor networks - Völgyesi, P; Maróti, M; Dóra, S; Osses, E; Lédeczi, Á (Science of Computer Programming, 2005)