IOTS must implement outputAutomaton