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