An analytical model for IEEE 802.11 WLANs with NAK-based ARQ mechanism | IEEE Conference Publication | IEEE Xplore