Matthias Woehrle Christian Plessl Roman Lim Jan Beutel Lothar Thiele EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. 201-208 2008 SUTC http://doi.ieeecomputersociety.org/10.1109/SUTC.2008.24 conf/sutc/2008 db/conf/sutc/sutc2008.html#WoehrlePLBT08