Nasos Grigoropoulos, Spyros Lalis, Manos Koutsoubelias. An Event-Based Framework for the Specification and Runtime Checking of Timing Constraints in Wireless Sensor and Actuator Networks. In IEEE International Conference on Data Science and Data Intensive Systems, DSDIS 2015, Sydney, Australia, December 11-13, 2015. pages 123-130, IEEE, 2015. [doi]
Abstract is missing.