Trujillo Díaz, Arian, and José Raúl Vento Álvarez. “Método Para La definición Y verificación Formal De Protocolos Para Aplicaciones De Control domótico”. Telemática 13, no. 2 (September 2, 2014): 22–31. Accessed September 7, 2025. https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143.