Software simulation and verification to increase the reliability of Intelligent Environments | Publicación