@inproceedings{HKKG13,
  author    = {T. Han and C. Krause and M. Kwiatkowska and H. Giese},
  title     = {Modal Specifications for Probabilistic Timed Systems},
  booktitle = {Proc. 11th International Workshop on Quantitative Aspects of Programming Languages and Systems},
  year      = {2013},
  pages     = {66--80}
  publisher = {EPTCS}
}