Transaction level modeling of IEEE 802.11 system | IEEE Conference Publication | IEEE Xplore