Real-Time Logic Verification of a Wireless Sensor Network | IEEE Conference Publication | IEEE Xplore