How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. - David N. Jansen; Joost-Pieter Katoen; Marcel Oldenkamp; Mariëlle Stoelinga; Ivan S. Zapreev (Haifa Verification Conference, 2007)