Trujillo Díaz A, Vento Álvarez JR. Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática [Internet]. 2014 Sep. 2 [cited 2025 Sep. 7];13(2):22-31. Available from: https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143