Enviar aquest missatge de text: Using CSP to detect errors in the TMN protocol