Text this: Higher-Dimensional Timed and Hybrid Automata