Specification And Proof In Real Time Csp by Jim Davies