“Local Planning Semantics: A Semantics for Distributed Real-Time Systems”. Leibniz Transactions on Embedded Systems 6, no. 1 (February 18, 2019): 01:1–01:27. Accessed May 12, 2025. https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a001.