https://automata.model.in.tum.de/
https://doi.org/10.1007/978-3-030-53291-8_1
Markdown description: view/edit