Reference:

Tomas Brazdil, Holger Hermanns, Jan Krcal, Jan Kretinsky, and Vojtech Rehak. Verification of open interactive markov chains. In D'Souza et al., pages 474–485.

Suggested BibTeX entry:

@inproceedings{DBLP:conffsttcsBrazdilHKKR12,
    author = {Tomas Brazdil and Holger Hermanns and Jan Krcal and Jan Kretinsky and Vojtech Rehak},
    booktitle = {FSTTCS},
    editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
    pages = {474-485},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
    series = {LIPIcs},
    title = {Verification of Open Interactive Markov Chains},
    volume = {18},
    year = {2012}
}