Rigorous numerics for piecewise-smooth systems: A functional analytic approach based on Chebyshev series. - Marcio Gameiro; Jean-Philippe Lessard; Yann Ricaud (J. Comput. Appl. Math., 2016)