Probabilistic Model Checking and Reliability of Results | IEEE Conference Publication | IEEE Xplore