An Event-Based Framework for the Specification and Runtime Checking of Timing Constraints in Wireless Sensor and Actuator Networks | IEEE Conference Publication | IEEE Xplore