Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima. Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electronic Notes in Theoretical Computer Science, 195:3-20, 2008. [doi]
Abstract is missing.