Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems | IEEE Journals & Magazine | IEEE Xplore