Trujillo Díaz, A. and 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), pp. 22–31. Available at: https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143 (Accessed: 7 September 2025).