US7877596B2 - Method and Computer Product to Increase Accuracy of Time-Based Software Verification for Sensor Networks