Automata in verification, literature