Volgyesi, P. ., Maroti, M. ., Dora, S. ., Osses, E. ., & Ledeczi, A. . (2005). Software Composition and Verification for Sensor Networks. Science of Computer Programming (Elsevier), 56, 191–210. (Original work published 2025)

Volgyesi, P. ., Maroti, M. ., Dora, S. ., Osses, E. ., Ledeczi, A. ., & Paka, T. . (2004). Embedded Software Composition and Verification. Institute for Software Integrated Systems. (Original work published 2025)