Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science