Real-Time Verification for Distributed Cyber-Physical Systems (Leibniz Transactions on Embedded Systems, 2022)