Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking | Publicación