define component NoodstoptoestelNoodBedienplek
  parameters
    noodbedienhandeling_NNB-LBN is a bedienhandeling
    bediensignaal_NNB is a bediensignaal
    objectbedienmodus is an bedienmodi-enumeratie
    operationele-status is a component-operationele-status-enumeratie property

  transformation-requirement
    NNB-omzetten-bedienhandeling-01: must omzetten noodbedienhandeling_NNB-LBN in bediensignaal_NNB

  behavior-requirement
    NNB-operationele-status:
      case NNB-is-actief:
        when
          * c1: objectbedienmodus is equal to bediening-lokaal-nood [-] or objectbedienmodus is equal to bediening-lokaal-regulier-of-onderhoud [-] or objectbedienmodus is equal to bediening-op-afstand [-]
        then
          * r1: operationele-status must be equal to actief [-]