FARN WANG2018-09-102018-09-102001-08http://scholars.lib.ntu.edu.tw/handle/123456789/294453Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagramconference paper