Matsue, K. 2017. Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach. Topological Methods in Nonlinear Analysis. 50, 2 (Sep. 2017), 357–468.