Mobility models for vehicular ad hoc networks: a survey and taxonomy | IEEE Journals & Magazine | IEEE Xplore