Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol | IEEE Conference Publication | IEEE Xplore