Reference:

Holger Hermanns, Jan Krcal, and Jan Kretinsky. Compositional verification and optimization of interactive Markov chains. In D'Argenio and Melgratti, pages 364–379.

Suggested BibTeX entry:

@inproceedings{DBLP:confconcurHermannsKK13,
    author = {Holger Hermanns and Jan Kr{c}{a}l and Jan Kretinsky},
    booktitle = {CONCUR},
    editor = {Pedro R. D'Argenio and Hern{a}n C. Melgratti},
    pages = {364-379},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Compositional Verification and Optimization of Interactive {M}arkov Chains},
    volume = {8052},
    year = {2013}
}