Amitabha Roy 0002 K. Gopinath Scalable Probabilistic Models for 802.11 Protocol Verification http://arxiv.org/abs/cs/0403044 2004 CoRR cs.LO/0403044 db/journals/corr/corr0403.html#cs-LO-0403044