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