Mobility models for Vehicular Ad-hoc Network simulation | IEEE Conference Publication | IEEE Xplore