The Property ExceedingLimit represents the exceeding limit.

It is the LowLimit if

a) the new state is LOW_LIMIT, or

b) CurrentState is LOW_LIMIT and the new state is NORMAL

It is the HighLimit if

a) the new state is HIGH_LIMIT, or

b) CurrentState is HIGH_LIMIT and the new state is NORMAL