rename Automata to EFSM