Fahrenberg, U. 2022. Higher-Dimensional Timed and Hybrid Automata. Leibniz Transactions on Embedded Systems. 8, 2 (Dec. 2022), 03:1–03:16. DOI:https://doi.org/10.4230/LITES.8.2.3.