Specification and Proof in Real Time CSP | lit.salon