| TimeLocators.Periods | timePeriod | | |
| CRML.Blocks.Logical.RandomFailure | failure | | |
| CRML.Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_1 | | |
| CRML.Blocks.MathInteger.IntegerConstant | integerConstant | | |
| Requirements.CheckInteger | ensure | | |
| CRML.Blocks.Logical.BooleanPulse | booleanPulse | | |
| CRML.Blocks.Math.Constant | const | | |
| CRML.Blocks.Events.ShowEvent | showEvent | | |
| Modelica.Blocks.Logical.And | or1 | | |
| CRML.Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_3 | | |
| CRML.Blocks.Math.Constant | integerConstant1 | | |
| TimeLocators.While | While | | |
| CRML.Blocks.Logical.BooleanPulse | booleanPulse1 | | |
| CRML.Blocks.Logical4.BooleanToBoolean4 | booleanToBoolean4_2 | | |
| CRML.Blocks.Logical.GlobalSeed | globalSeed | | |
