Dierl, S., & Howar, F. RAGe: A Generator for Register Automata [Computer software]. https://github.com/tudo-aqua/rage