EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore