define component SecundaireVeiligheidsborging
  parameters
    besturingssignaal_SBS is a besturingssignaal
    besturingssignaal_SVB is a besturingssignaal
    statussignaal_TIN is a statussignaal
    statussignaal_SVB is a statussignaal

    objectbedienmodus is an bedienmodi-enumeratie
    operationele-status is a component-operationele-status-enumeratie property

  transformation-requirement
    SVB-omzetten-besturingssignaal-01: must omzetten besturingssignaal_SBS and statussignaal_SVB in besturingssignaal_SVB

    SVB-omzetten-statussignaal-01: must omzetten statussignaal_TIN in statussignaal_SVB

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