Performance modeling of the IEEE 802.11p EDCA mechanism for VANET | IEEE Conference Publication | IEEE Xplore