TRUJILLO DÍAZ, Arian; VENTO ÁLVAREZ, José Raúl. 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: 16 mar. 2026.