Time−Bounded Verification of CTMCs Against Real−Time Specifications - Chen, T; Diciolla, M; Kwiatkowska, M; Mereacre, A (9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), 2011)