As wireless networks become a predominant telecommunication technology, the need for greater communication protocol performance arises. Performance evaluation of communication software must be conducted in each phase of the protocol development process. This book provides both Specification and Description Language (SDL) modeling and analytic analysis of the most important wireless technologies: Wi-Fi (IEEE 802.11), Bluetooth (IEEE 802.15) and WiMAX (IEEE 802.16). Many Medium Access Control (MAe and Physical (PHY) Layer procedures are modeled, evaluated and optimized. Hands-on protocol design experience is provided in form of case studies, including SDL models and codes for IEEE 802.11 DCF, IEEE 802.15 MAC protocol, WiMAX Network Entry procedure, WiMAX Security Key Management protocol, WiMAX ARQ, IEEE 802.16e Handover procedure. The book is an excellent reference for engineers who use SDL in embedded systems design process and for scientists who analyze and optimize MAC layer procedures of wireless networks.