Towards a Smart City: Application of Optimization for a Smart Transportation Management System | IEEE Conference Publication | IEEE Xplore