Modeling of a slotted MAC protocol for MANETs