K. Matsue, “Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach”, TMNA, vol. 50, no. 2, pp. 357–468, Sep. 2017.