On the use of renewal theory in the analysis of ARQ protocols | IEEE Journals & Magazine | IEEE Xplore