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