TRAN, H.-D.; NGUYEN, L. V.; MUSAU, P.; XIANG, W.; JOHNSON, T. T. Real-Time Verification for Distributed Cyber-Physical Systems. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 8, n. 2, p. 07:1–07:19, 2022. DOI: 10.4230/LITES.8.2.7. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a007. Acesso em: 2 feb. 2023.