Modeling 802.11a-Based WLAN Systems