WSN Design and Verification Using On-Board Executable Specifications