On Stochastic Analysis of Greedy Routing in Vehicular Networks | Synapse