Finite-blocklength analysis of the ARQ-protocol throughput over the Gaussian collision channel | IEEE Conference Publication | IEEE Xplore