Ymer: A statistical model checker
Model-checking algorithms for continuous-time Markov chains