Markov monitoring with unknown states | IEEE Journals & Magazine | IEEE Xplore