An analytical model of network connectivity in Vehicular Ad Hoc Networks using spatial point processes | IEEE Conference Publication | IEEE Xplore