Efficient Stochastic Analysis of Real-Time Systems via Random Sampling | IEEE Conference Publication | IEEE Xplore