F. WangA.K. MokE.A. EmersonFARN WANG2018-09-102018-09-101993-01http://scholars.lib.ntu.edu.tw/handle/123456789/304224[SDGs]SDG16Real-Time Distributed System Specification and Verification in APTLjournal article10.1145/158431.1584342-s2.0-84976656144