Specification and Proof in Real Time CSP | Kaicus Deutschland