Duration Properties of Timed Transition Systems