INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 60.0
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 110.0 (ta: 50.0)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 110.0
  NEW STATE <yellow>
  OUTPUTFNC returned {}
  time_next: 120.0 (ta: 10.0)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 120.0
  NEW STATE <red>
  OUTPUTFNC returned {}
  time_next: 180.0 (ta: 60.0)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 180.0
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 230.0 (ta: 50.0)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 200
  NEW STATE <manual>
  inputs were {}
  time_next: inf (ta: inf)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 200
  NEW STATE <working>
  OUTPUTFNC returned {}
  time_next: 300 (ta: 100)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 300
  NEW STATE <red>
  inputs were {}
  time_next: 360 (ta: 60)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 300
  NEW STATE <idle>
  OUTPUTFNC returned {}
  time_next: 500 (ta: 200)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 360
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 410 (ta: 50)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 410
  NEW STATE <yellow>
  OUTPUTFNC returned {}
  time_next: 420 (ta: 10)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 420
  NEW STATE <red>
  OUTPUTFNC returned {}
  time_next: 480 (ta: 60)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 480
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 530 (ta: 50)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 500
  NEW STATE <manual>
  inputs were {}
  time_next: inf (ta: inf)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 500
  NEW STATE <working>
  OUTPUTFNC returned {}
  time_next: 600 (ta: 100)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 600
  NEW STATE <red>
  inputs were {}
  time_next: 660 (ta: 60)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 600
  NEW STATE <idle>
  OUTPUTFNC returned {}
  time_next: 800 (ta: 200)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 660
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 710 (ta: 50)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 710
  NEW STATE <yellow>
  OUTPUTFNC returned {}
  time_next: 720 (ta: 10)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 720
  NEW STATE <red>
  OUTPUTFNC returned {}
  time_next: 780 (ta: 60)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 780
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 830 (ta: 50)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 800
  NEW STATE <manual>
  inputs were {}
  time_next: inf (ta: inf)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 800
  NEW STATE <working>
  OUTPUTFNC returned {}
  time_next: 900 (ta: 100)
EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 900
  NEW STATE <red>
  inputs were {}
  time_next: 960 (ta: 60)
INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 900
  NEW STATE <idle>
  OUTPUTFNC returned {}
  time_next: 1100 (ta: 200)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 960
  NEW STATE <green>
  OUTPUTFNC returned {}
  time_next: 1010 (ta: 50)
INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 1010
  NEW STATE <yellow>
  OUTPUTFNC returned {}
  time_next: 1020 (ta: 10)
