Title: Modeling and verification of real-time systems
Subjects: Real-time data processing, Computer software, Formal methods (Computer science), Verification, Computer software, verification