Trellis-coded modulation with redundant signal sets Part I: Introduction | IEEE Journals & Magazine | IEEE Xplore