Text this: Investigating a file transfer protocol using CSP and B.