Trellis-coded, type-I hybrid-ARQ protocols based on CRC error-detecting codes | IEEE Journals & Magazine | IEEE Xplore