Graeme Smith John Derrick Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. 249-284 2001 18 Formal Methods in System Design 3 db/journals/fmsd/fmsd18.html#SmithD01