| 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 |