Multiplexed ARQ for time-varying channels. I. System model and throughput analysis | IEEE Journals & Magazine | IEEE Xplore