Title: Design and analysis of hard real-time systems
Subjects: Real-time data processing