Text this: Developing and verifying protocols in CSP