Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking | IEEE Conference Publication | IEEE Xplore