Specification and proof in real time csp paperback