Roy, Amitabha and Gopinath, K (2005) Improved Probabilistic Models for 802.11 Protocol Verification. [Book Chapter]