Analyzing stochastic reward nets by model checking and parallel simulation