Reference:

Tomas Brazdil, Jan Krcal, Jan Kretinsky, Antonin Kucera, and Vojtech Rehak. Measuring performance of continuous-time stochastic processes using timed automata. Technical Report abs/1101.4204, arXiv.org, 2011.

Suggested BibTeX entry:

@techreport{DBLP:confhybridBrazdilKKKR11-techrep,
    author = {Tomas Brazdil and Jan Krcal and Jan Kretinsky and Antonin Kucera and Vojtech Rehak},
    institution = {arXiv.org},
    number = {abs/1101.4204},
    title = {Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata},
    year = {2011}
}