| Modelica.Blocks.Sources.RealExpression | greenObserver | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | oGreen | | |
| Modelica.Blocks.Sources.RealExpression | yellowObservor | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | oYellow | | |
| Modelica.Blocks.Sources.RealExpression | redObserver | | |
| CRML.Examples.TrafficLight.Log2 | log | | |
| Modelica.Blocks.Logical.GreaterEqualThreshold | oRed | | |
| CRML.Examples.TrafficLight.Phys1 | phys | | |
| Modelica.Blocks.Sources.BooleanExpression | green_active | | |
| Modelica.Blocks.Sources.BooleanExpression | yellow_active | | |
| Modelica.Blocks.Sources.BooleanExpression | red_active | | |
| Spec | spec | | |
