“Local Planning Semantics: A Semantics for Distributed Real-Time Systems”. 2019. Leibniz Transactions on Embedded Systems 6 (1): 01:1-01:27. https://doi.org/10.4230/LITES-v006-i001-a001.