Text this: Formal specification and design techniques for wireless sensor and actuator networks