Optimal cognitive transmission exploiting redundancy in the primary ARQ process | IEEE Conference Publication | IEEE Xplore