Performance modeling and analysis of the IEEE 802.11 DCF for VANETs | IEEE Conference Publication | IEEE Xplore