OpenAlex
Discrete Semantics for Hybrid Automata
Work