Traffic Light*
  Green*
    timer -> Yellow

  Yellow
    timer -> Red

  Red
    timer -> Green

Pedestrian Light
  CountIn*
    timer -> Walk

  Walk
    timer -> CountOut

  CountOut