Cyber-physical systems: A framework for dynamic traffic light control at road intersections.