Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds - Maciej J. Capinski; Carles Simo (Nonlinearity, 2012)