A Mathematical Approach for Evaluating Markov Models in Continuous Time without Discrete-Event Simulation. (August 2013)