Anfonwch hwn fel neges destun: Using CSP to detect errors in the TMN protocol