Example project TrafficLight from Yakindu Statecharts for Arduino