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");