Local Planning Semantics: A Semantics for Distributed Real-Time Systems. LITES [Internet]. 2019 Feb. 18 [cited 2025 May 12];6(1):01:1-01:27. Available from: https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a001