Fahrenberg, U. “Higher-Dimensional Timed and Hybrid Automata”. Leibniz Transactions on Embedded Systems, vol. 8, no. 2, Dec. 2022, pp. 03:1-03:16, doi:10.4230/LITES.8.2.3.