Analysis, stability, and optimization of slotted ALOHA with a finite number of buffered users | IEEE Conference Publication | IEEE Xplore