Title: Formal Modeling and Analysis of Timed Systems
Subjects: Computer simulation, System design, Machine theory, System analysis