Matsue, K. (2017). Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach. Topological Methods in Nonlinear Analysis, 50(2), 357–468. Retrieved from https://apcz.umk.pl/TMNA/article/view/TMNA.2016.072