Minimal trellis design for linear codes based on the Shannon product | IEEE Journals & Magazine | IEEE Xplore