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