State splitting and state merging in probabilistic finite state automata | IEEE Conference Publication | IEEE Xplore