Changes to Behavioral/TrafficLight

2018-05-10 21:08:08 UTC (Anonymous): added download links
2018-05-08 17:35:50 UTC (mantkiewicz): added machine and scenarios
2018-05-08 17:28:24 UTC (mantkiewicz): initial