Title: Modeling and Verification of Real-Time Systems
Subjects: Computer software, verification, Real-time data processing, System design