@inproceedings{ballarini2013transient,
  author    = {Ballarini, Paolo and Bertrand, Nathalie and Horv{\'a}th, Andr{\'a}s and Paolieri, Marco and Vicario, Enrico},
  title     = {Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes},
  booktitle = {Quantitative Evaluation of Systems (QEST)},
  pages     = {355--371},
  year      = {2013},
}