Analysis of IEEE 802.11 non-saturated DCF by matrix analytic methods. - Yun Han Bae; Kyung Jae Kim; Mi-Nam Moon; Bong Dae Choi (Ann. Oper. Res., 2008)