Title: Formal Modeling and Analysis of Timed Systems
Subjects: Computer science, Computer simulation, System analysis, Computer programming