Smart Vehicular Routing Based on Crowdsensed Data Using Dynamic Traffic Light Control | IEEE Conference Publication | IEEE Xplore