_id,doi,title 4615,10.1007/3-540-58179-0_39,A determinizable class of timed automata