Embedded Markov chain