Tran, H.-D., Nguyen, L.V., Musau, P., Xiang, W. and Johnson, T.T. 2022. Real-Time Verification for Distributed Cyber-Physical Systems. Leibniz Transactions on Embedded Systems. 8, 2 (Dec. 2022), 07:1–07:19. DOI:https://doi.org/10.4230/LITES.8.2.7.