Characterizing the Instantaneous Connectivity of Large-Scale Urban Vehicular Networks | Synapse