Coordinated Transit Signal Priority Model Considering Stochastic Bus Arrival Time | IEEE Journals & Magazine | IEEE Xplore