A. Trujillo Díaz 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, pp. 22–31, Sep. 2014.