Optimization Model for Traffic Signal Control with Environmental Objectives | IEEE Conference Publication | IEEE Xplore