On the use of probabilistic model checking for reliability evaluation | IEEE Conference Publication | IEEE Xplore