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. Wadern, Germany, 8(2), pp. 07:1–07:19. doi: 10.4230/LITES.8.2.7.