Implicit ODE solvers with good local error control for the transient analysis of Markov models | Publicación