Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol | KICS Journals & Magazine | IEEE Xplore