Reference:

Tomas Brazdil, Jan Krcal, Jan Kretinsky, Antonin Kucera, and Vojtech Rehak. Measuring performance of continuous-time stochastic processes using timed automata. In Caccamo et al., pages 33–42.

Suggested BibTeX entry:

@inproceedings{DBLP:confhybridBrazdilKKKR11,
    author = {Tomas Brazdil and Jan Krcal and Jan Kretinsky and Antonin Kucera and Vojtech Rehak},
    booktitle = {HSCC},
    editor = {Marco Caccamo and Emilio Frazzoli and Radu Grosu},
    pages = {33-42},
    publisher = {ACM},
    title = {Measuring performance of continuous-time stochastic processes using timed automata},
    year = {2011}
}