TRUJILLO DÍAZ, A.; VENTO ÁLVAREZ, J. R. Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática, [S. l.], v. 13, n. 2, p. 22–31, 2014. Disponível em: https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143. Acesso em: 7 sep. 2025.