OpenAlex
Approximating Continuous Systems by Timed Automata
Work