A Markov Jump Process Model for Urban Vehicular Mobility: Modeling and Applications | IEEE Journals & Magazine | IEEE Xplore