Towards a Unified Theory of Timed Automata

Slides referencing similar topics