Ralf Wimmer Alexander Kortus Marc Herbstritt Bernd Becker Probabilistic Model Checking and Reliability of Results. 207-212 2008 DDECS http://dx.doi.org/10.1109/DDECS.2008.4538787 conf/ddecs/2008 db/conf/ddecs/ddecs2008.html#WimmerKHB08