B
[BJV10] Jasper Berendsen, David N. Jansen, and Frits Vaandrager. Fortuna: model checking priced probabilistic timed automata. In QEST'10, pages 273-281. IEEE Comp. Soc. Press, September 2010. 
@inproceedings{qest2010-BJV,
  author =              {Berendsen, Jasper and Jansen, David N. and
                         Vaandrager, Frits},
  title =               {Fortuna: model checking priced probabilistic timed
                         automata},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {Q}uantitative {E}valuation of
                         {S}ystems ({QEST}'10)},
  acronym =             {{QEST}'10},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {273-281},
  year =                {2010},
  month =               sep,
}
List of authors