H.-D. Tran, L. V. Nguyen, P. Musau, W. Xiang, and T. T. Johnson, “Real-Time Verification for Distributed Cyber-Physical Systems”, LITES, vol. 8, no. 2, pp. 07:1–07:19, Dec. 2022.