Probabilistic finite-state machines - part II | IEEE Journals & Magazine | IEEE Xplore