@Article{CDKM13b,
author={T. Chen and M. Diciolla and M. Kwiatkowska and A. Mereacre},
title={Verification of Linear Duration Properties over Continuous Time Markov Chains},
journal={Transactions on Computer Logic},
year={2013},

volume={14},
number={4},
pages={33},
publisher={ACM},
month={},
note={},
key={}
}