Title: Formal techniques, modelling and analysis of timed and fault-tolerant systems
Subjects: Machine theory, Computer simulation, Congresses, Temporal automata, Formal methods (Computer science), Robots