Quantitative Analysis of the VANET Connectivity: Theory and Application | IEEE Conference Publication | IEEE Xplore