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