Reduction of Timed Hybrid Systems