Assuring system reliability in wireless sensor networks via verification and validation | IEEE Conference Publication | IEEE Xplore