A Real-Time Transit Signal Priority Control Model Considering Stochastic Bus Arrival Time | IEEE Journals & Magazine | IEEE Xplore