Markov and Markov reward model transient analysis: An overview of numerical approaches