A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations - Benjamin Kehlet; Anders Logg (2015)