Media type: E-Article Title: Investigating a file transfer protocol using CSP and B Contributor: Evans, Neil; Treharne, Helen imprint: Springer Science and Business Media LLC, 2005 Published in: Software & Systems Modeling Language: English DOI: 10.1007/s10270-005-0084-3 ISSN: 1619-1366; 1619-1374 Keywords: Modeling and Simulation ; Software Origination: Footnote: