imbedded Markov chain