J. YangA.K. MokFARN WANG2018-09-102018-09-101997-03http://scholars.lib.ntu.edu.tw/handle/123456789/333802Symbolic Model Checking for Event-Driven Real-Time Systemsjournal article10.1145/244795.2448032-s2.0-0031096502WOS:A1997WW53400006