Added Automata certificate