Trujillo Díaz, A., & Vento Álvarez, J. R. (2014). Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática, 13(2), 22–31. Retrieved from https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143