Modelling and Optimization of Smart Traffic Light Control System | IEEE Conference Publication | IEEE Xplore