A run time efficient parametric probabilistic model checker