Markov analysis of human-in-the-loop system performance | IEEE Conference Publication | IEEE Xplore