In this section, we have proposed an analytical model for EDCA with two-dimensional discrete-time Markov chain. We have considered all salient standard features of EDCA like multiple number of active ACs per station with internal collisions handling to implement multiple priority classes within a station and service differentiation between real time and non-real-time applications. The back-off counter freezing during back-off process is incorporated to add accuracy to the model.