@Article{HHWZ09,
author={H. Hermanns and E. M. Hahn and B. Wachter and L. Zhang},
title={Time-bounded model checking of infinite-state continuous-time {Markov} chains},
journal={Fundamenta Informaticae},
year={2009},

volume={95},
number={1},
pages={129-155},
publisher={},
month={},
note={},
key={}
}