Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach - Kaname Matsue (2015)