Probabilistic Model Checking and Reliability of Results Ralf Wimmer , Alexander Kortus, Marc Herbstritt, Bernd Becker Bratislava, Slovakia April 16–18, 2008