Reference:

Tomas Brazdil, Vojtech Forejt, Jan Krcal, Jan Kretinsky, and Antonin Kucera. Continuous-time stochastic games with time-bounded reachability. In FSTTCS, pages 61–72, 2009.

Suggested BibTeX entry:

@inproceedings{DBLP:conffsttcsBrazdilFKKK09,
    author = {Tomas Brazdil and Vojtech Forejt and Jan Krcal and Jan Kretinsky and Antonin Kucera},
    booktitle = {FSTTCS},
    pages = {61-72},
    title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
    year = {2009}
}