¿Alguien puede sugerir una encuesta reciente sobre el producto de las cadenas de Markov?

Estoy especialmente interesado en su uso en aplicaciones de verificación de modelos. Tengo redes de colas abiertas, cerradas y mixtas con diferentes clases de clientes por Baskett et al. ¿Alguna otra sugerencia para leer material?