Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols | IEEE Conference Publication | IEEE Xplore