Cyber-physical systems: A framework for dynamic traffic light control at road intersections | IEEE Conference Publication | IEEE Xplore