| Modelica.Blocks.MathBoolean.Not | Off | | |
| Verify.Requirement | R1 | | |
| Verify.Requirement | R2 | | |
| Verify.Requirement | R3 | | |
| Verify.Requirement | R4 | | |
| Modelica.Blocks.MathBoolean.Not | Unavailable | | |
| LogicalBlocks.DelayedRising | duringAny1 | | = true, when MPS has been Off for more than 4 consecutive seconds |
| ChecksInSlidingWindow.MinAccumulatedDuration2 | duringAcc1 | | = true, when MPS has been Off for more than 4 accumulated seconds during any 10 seconds time window |
| Modelica.Blocks.Logical.Or | or1 | | |
| Verify.Requirement | R5 | | |
| LogicalBlocks.DelayedRising | duringAny2 | | = true, when MPS has been Off for more than 6 consecutive seconds |
| ChecksInSlidingWindow.MinAccumulatedDuration2 | duringAcc2 | | = true, when MPS has been Off for more than 6 accumulated seconds during any 10 seconds time window |
| Modelica.Blocks.Logical.Or | or2 | | |
| ChecksInFixedWindow.During | during3 | | |
| Verify.Requirement | R6 | | |
| LogicalBlocks.DelayedRising | duringAny3 | | = true, when MPS has been Off for more than 6 consecutive seconds |
| Verify.Requirement | R7 | | |
| LogicalBlocks.DelayedRising | duringAny4 | | = true, when MPS has been Off for more than 6 consecutive seconds |
| ChecksInFixedWindow.During | during4 | | |
| Verify.Requirement | R8 | | |
| Modelica.Blocks.Logical.Edge | edge1 | | |
| Modelica.Blocks.Logical.Edge | edge2 | | |
| ChecksInFixedWindow.WhenRising | whenRising1 | | |
| Sources.BooleanExpression | expr1 | | |
| ChecksInFixedWindow.During | during1 | | |
| Sources.BooleanExpression | expr2 | | |
| ChecksInFixedWindow.WhenRising | whenRising2 | | |
| Sources.BooleanExpression | expr3 | | |
| ChecksInFixedWindow.During | during2 | | |
| Sources.BooleanExpression | expr4 | | |
| ChecksInFixedWindow.WhenRising | whenRising3 | | |
| ChecksInFixedWindow.WhenRising | whenRising4 | | |