Reference:

Tomas Brazdil, Jan Krcal, Jan Kretinsky, Antonin Kucera, and Vojtech Rehak. Stochastic real-time games with qualitative timed automata objectives. In CONCUR, pages 207–221, 2010.

Suggested BibTeX entry:

@inproceedings{DBLP:confconcurBrazdilKKKR10,
    author = {Tomas Brazdil and Jan Krcal and Jan Kretinsky and Antonin Kucera and Vojtech Rehak},
    booktitle = {CONCUR},
    pages = {207-221},
    title = {Stochastic Real-Time Games with Qualitative Timed Automata Objectives},
    year = {2010}
}