Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science | DealShopping Deutschland