encapsulated type State = enumeration(moveDownN "1: tap-changer/phase-shifter has decreased the next tap", moveDown1 "2: tap-changer/phase-shifter has decreased the first tap", waitingToMoveDown "3: tap-changer/phase-shifter is waiting to decrease the first tap", standard "4:tap-changer/phase-shifter is in standard state with UThresholdDown <= UMonitored <= UThresholdUp", waitingToMoveUp "5: tap-changer/phase-shifter is waiting to increase the first tap", moveUp1 "6: tap-changer/phase-shifter has increased the first tap", moveUpN "7: tap-changer/phase-shifter has increased the next tap", locked "8: tap-changer/phase-shifter locked");