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