MultistateAutomaton work