Modeling and performance analysis of the IEEE 802.11P Enhanced Distributed Channel Access function for vehicular network | Synapse