Trujillo Díaz, A., and J. R. Vento Álvarez. “Método Para La definición Y verificación Formal De Protocolos Para Aplicaciones De Control domótico”. Telemática, vol. 13, no. 2, Sept. 2014, pp. 22-31, https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143.