Minimizing Deterministic Timed Finite State Machines