A Computationally Efficient Formulation for Traffic Signal Timing Optimization of an Isolated Intersection | IEEE Conference Publication | IEEE Xplore