Effects of intervehicle spacing distributions on connectivity of VANET: a case study from measured highway traffic | IEEE Journals & Magazine | IEEE Xplore