Formal model of the 802.11 DCF using UPPAAL