Title: Specification and Proof in Real Time CSP
Subjects: Real-time data processing