A Probabilistic Analysis of Link Duration in Vehicular Ad Hoc Networks | Synapse