A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations. - Benjamin Kehlet; Anders Logg (Numer. Algorithms, 2017)