| Blocks.Logical.RandomFailure | randomFailure | | |
| Blocks.Logical.GlobalSeed | globalSeed | | |
| Blocks.Math.Constant | const1 | | |
| Blocks.Math.Constant | const2 | | |
| Blocks.Logical4.Probability | probability | | |
| ETL.TimeLocators.Periods | timePeriod | | |
| Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_2 | | |
| Requirements.CheckDurationLowerEqual | checkDuration | | |
| Blocks.Math.Constant | const | | |
| TimeLocators.Continuous.Master | master | | |
| Blocks.Math.Greater4 | greater4 | | |
| Blocks.Math.Constant | const3 | | |
| TimeLocators.Continuous.During | during | | |
| Blocks.Logical.BooleanPulse | inOperation | | |
| Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_1 | | |
| Modelica.Blocks.Logical.Or | or1 | | |
| Requirements.Ensure | ensure | | |
| ETL.TimeLocators.While | While | | |
| Requirements.CheckAtEnd | checkAtEnd | | |
| Modelica.Blocks.Logical.Edge | edge1 | | |
| Modelica.Blocks.Logical.Not | not1 | | |
| Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_4 | | |
| TimeLocators.Continuous.During | during1 | | |
