Alguém pode sugerir uma pesquisa recente sobre cadeias de Markov de formulários de produtos?

Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material?