Title: Specification and proof in real-time CSP
Subjects: Real-time data processing, Sequential machine theory