FARN WANG2018-09-102018-09-102001-08http://scholars.lib.ntu.edu.tw/handle/123456789/294454DenmarkRED: Model-Checker for Timed Automata with Clock-Restriction Diagramconference paper