Analysis of connectivity probability in platoon-based Vehicular Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore