U. Fahrenberg, “Higher-Dimensional Timed and Hybrid Automata”, LITES, vol. 8, no. 2, pp. 03:1–03:16, Dec. 2022.