Timed Automata -- On Timed Simulation Relations for Hybrid Systems and Compositionality