Matsue, K. Rigorous Numerics for Fast-Slow Systems With One-Dimensional Slow Variable: Topological Shadowing Approach. TMNA 2017, 50, 357-468.