Trujillo Díaz, A. and Vento Álvarez, J.R. 2014. Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática. 13, 2 (Sep. 2014), 22–31.