DOI,IST REx ID,Title of publication
10.1007/3-540-58179-0_39,4615,A determinizable class of timed automata