Modeling Prioritized Broadcasting in Multichannel Vehicular Networks | Synapse