1 files changed, 576 insertions, 576 deletions

diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq
index 007b0e935..5c6b82066 100644
--- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq
+++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq
@@ -1,576 +1,576 @@
-#generated MSC for Trace2UML

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket open

-	/LSTraffic/main/application/light1 >>> OpenSocket

-	/LSTraffic/main/application/light1/trafficLightSocket >>> closed

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket open

-	/LSTraffic/main/application/light2 >>> OpenSocket

-	/LSTraffic/main/application/light2/trafficLightSocket >>> closed

-	/LSTraffic/main/application/controller >>> Idle

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket open

-	/LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 established

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket open

-	/LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 established

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 established

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 established

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout

-	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForCar

-	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForPed

-	/LSTraffic/main/application/controller >>> SwitchToLight1GreenForCars

-	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForCar

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> PedRed

-	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForPed

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> CarYellow2

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> CarYellow

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> CarRed

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone

-	/LSTraffic/main/application/light1 >>> CarGreen

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone

-	/LSTraffic/main/application/controller >>> state0

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone

-	/LSTraffic/main/application/light2 >>> PedGreen

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone

-	/LSTraffic/main/application/controller >>> Light1GreenForCars

-	/LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 receive

-	/LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 receive

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 receive

-	/LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 receive

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_On

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> Off_Blinking_Off

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> Off_Blinking_On

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout

-	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed

-	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForCar

-	/LSTraffic/main/application/controller >>> SwitchToLight2GreenForCars

-	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForPed

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> CarYellow2

-	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForCar

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> PedRed

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout

-	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1 >>> CarRed

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send

-	/LSTraffic/main/application/light1/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

-	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout

-	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2 >>> CarYellow

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send

-	/LSTraffic/main/application/light2/trafficLightSocket >>> opened

-	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout

-	/LSTraffic/main/TimingService >>> Operational

+#generated MSC for Trace2UML
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket open
+	/LSTraffic/main/application/light1 >>> OpenSocket
+	/LSTraffic/main/application/light1/trafficLightSocket >>> closed
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket open
+	/LSTraffic/main/application/light2 >>> OpenSocket
+	/LSTraffic/main/application/light2/trafficLightSocket >>> closed
+	/LSTraffic/main/application/controller >>> Idle
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket open
+	/LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 established
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket open
+	/LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 established
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 established
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 established
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout
+	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForCar
+	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForPed
+	/LSTraffic/main/application/controller >>> SwitchToLight1GreenForCars
+	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForCar
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> PedRed
+	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForPed
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> CarYellow2
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> CarYellow
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> CarRed
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone
+	/LSTraffic/main/application/light1 >>> CarGreen
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone
+	/LSTraffic/main/application/controller >>> state0
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone
+	/LSTraffic/main/application/light2 >>> PedGreen
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone
+	/LSTraffic/main/application/controller >>> Light1GreenForCars
+	/LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 receive
+	/LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 receive
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 receive
+	/LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 receive
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_On
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> Off_Blinking_Off
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> Off_Blinking_On
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout
+	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed
+	/LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForCar
+	/LSTraffic/main/application/controller >>> SwitchToLight2GreenForCars
+	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForPed
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> CarYellow2
+	/LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForCar
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> PedRed
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
+	/LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1 >>> CarRed
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
+	/LSTraffic/main/application/light1/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational
+	/LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
+	/LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2 >>> CarYellow
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
+	/LSTraffic/main/application/light2/trafficLightSocket >>> opened
+	/LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
+	/LSTraffic/main/TimingService >>> Operational