org.yakindu.sct.examples.trafficlight