Title: Formal Modeling and Analysis of Timed Systems
Subjects: Computer science, Software engineering, Logic design, Computation by Abstract Devices, Logics and Meanings of Programs, Computer Applications