Tran, H.-D.; Nguyen, L. V.; Musau, P.; Xiang, W.; Johnson, T. T. Real-Time Verification for Distributed Cyber-Physical Systems. LITES 2022, 8, 07:1-07:19.