Analysis of the Downlink Connectivity Probability within the Two-Hop Coverage of an RSU in VANET | Synapse