Analysis of a refined model for the IEEE 802.11 distributed coordination function. (1st January 2013)