Modelling MAC-Layer Communications in Wireless Systems