On the Initialization of Clocks in Timed Formalisms