Modeling IEEE 802.11 DCF Using Parallel Space Time Markov Chain