Verification of Linear Duration Properties over Continuous Time Markov Chains - Chen, T; Diciolla, M; Kwiatkowska, M; Mereacre, A; ACM (HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012)