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