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