(1)
Fahrenberg, U. Higher-Dimensional Timed and Hybrid Automata. LITES 2022, 8, 03:1-03:16.