Probabilistic Timed Bisimulation Relation and Its Preservation of Probabilistic Timed CTL Formulas of Real-time Systems with Discrete Probability Distributions
, 2004