An efficient family of strongly A-stable Runge–Kutta collocation methods for stiff systems and DAEs. Part II: Convergence results | Publicación