Analysis, stability, and optimization of slotted ALOHA with a finite number of buffered users | IEEE Journals & Magazine | IEEE Xplore