Trujillo Díaz, A.; Vento Álvarez, J. R. Método Para La definición Y verificación Formal De Protocolos Para Aplicaciones De Control domótico. Telemática 2014, 13, 22-31.