Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems