Trujillo Díaz, Arian, and José Raúl Vento Álvarez. 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. https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143.