A validated Integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus - Houska, B; Villanueva, ME; Chachuat, B (IEEE, 2013)