Towards a Unified Theory of Timed Automata