Green communication via Type-I ARQ: Finite block-length analysis | IEEE Conference Publication | IEEE Xplore