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