View of Higher-Dimensional Timed and Hybrid Automata | Leibniz Transactions on Embedded Systems