Tran, Hoang-Dung, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson. “Real-Time Verification for Distributed Cyber-Physical Systems”. Leibniz Transactions on Embedded Systems 8, no. 2 (December 7, 2022): 07:1–07:19. Accessed June 6, 2023. https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a007.