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