Modelling of a MAC protocol for mobile M2M communications | IEEE Conference Publication | IEEE Xplore