A SystemC Model of the IEEE 802.11 EDCA Protocol for Virtual Prototyping | IEEE Conference Publication | IEEE Xplore