On the probability of symbol error in Viterbi decoders | IEEE Journals & Magazine | IEEE Xplore