@inproceedings{CDKM12,
  author    = {Taolue Chen and
               Marco Diciolla and
               Marta Z. Kwiatkowska and
               Alexandru Mereacre},
  title     = {Verification of linear duration properties over continuous-time
               markov chains},
  booktitle = {HSCC},
  year      = {2012},
  pages     = {265-274},
  ee        = {http://doi.acm.org/10.1145/2185632.2185672},
  crossref  = {DBLP:conf/hybrid/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/hybrid/2012,
  editor    = {Thao Dang and
               Ian M. Mitchell},
  title     = {Hybrid Systems: Computation and Control (part of CPS Week
               2012), HSCC'12, Beijing, China, April 17-19, 2012},
  booktitle = {HSCC},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1220-2},
  ee        = {http://dl.acm.org/citation.cfm?id=2185632},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}