Үүнийг мессежээр илгээх: Specification and Proof in Real−time CSP