FAHRENBERG, U. Higher-Dimensional Timed and Hybrid Automata. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 8, n. 2, p. 03:1–03:16, 2022. DOI: 10.4230/LITES.8.2.3. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a003. Acesso em: 2 feb. 2023.