Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes | IEEE Conference Publication | IEEE Xplore