WSN Design and Verification Using On-Board Executable Specifications | IEEE Journals & Magazine | IEEE Xplore