A mathematical approach for evaluating Markov models in continuous time without discrete-event simulation