Seol mar théacs é seo: Using CSP to detect errors in the TMN protocol