Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 6, n. 1, p. 01:1–01:27, 2019. DOI: 10.4230/LITES-v006-i001-a001. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a001.. Acesso em: 12 may. 2025.