Title: Specification and compositional verification of real-time systems
Subjects: Real-time data processing