A Connected Vehicle-Based Contextual Stochastic Optimization Model for Real-Time Traffic Signal Timing | IEEE Journals & Magazine | IEEE Xplore