Intelligent traffic light control for congestion management for smart city development | IEEE Conference Publication | IEEE Xplore