Connectivity Analysis with Co-Channel Interference for Urban Vehicular Ad Hoc Networks | Synapse