wmx.case_studies.TrafficLight (WMX - http://www.univ-pau.fr/~fromeo/wmx)