Tran, Hoang-Dung, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson. 2022. “Real-Time Verification for Distributed Cyber-Physical Systems”. Leibniz Transactions on Embedded Systems 8 (2). Wadern, Germany:07:1-07:19. https://doi.org/10.4230/LITES.8.2.7.