Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'off' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Role 'switch' is conveyed |
MUST | Name 'Notifications' is conveyed |
MUST | State 'on' is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'on', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |
Priority | Assertion Statement |
---|---|
MUST | Change in state, to 'off', is conveyed |