Update IO in FSMs