State machine model-based middleware for control and processing in industrial wireless sensor and actuator networks | IEEE Conference Publication | IEEE Xplore