Automata Framework