Application of Lyapunov's direct method to the error-propagation effect in convolutional codes (Corresp.)