Title: Formal modeling and analysis of timed systems
Subjects: Formal methods (Computer science), Computer simulation, Congresses, Temporal automata, Automata, System design, Machine theory