Formal specification and verification of wireless networked self-organized Systems on Chip | IEEE Conference Publication | IEEE Xplore