Wyślij wiadomość: Using CSP to detect errors in the TMN protocol