Sphere-packing upper bounds on the free distance of trellis codes | IEEE Journals & Magazine | IEEE Xplore