Connectivity Probability Analysis for VANETs with Big Vehicle Shadowing | IEEE Conference Publication | IEEE Xplore