. Note: If a change
with initial operands. Note
Time caution note must [...] _Equivalent Tip Note
Time caution note must [...] _Antivalent Tip Note
MonitorTime caution note must [...] _Modeselector Tip Note
note must [...] _GuardMonitoring Tip Note
note must [...] _TestableSafetySensor Tip Note
Switch11 . Note: Depending [...] Switch 12 Note: Depending [...] Switch21 . Note: Depending
note must [...] _SafetyRequest Tip Note
Time caution note must [...] Note: The transition