Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series - Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe; Ricaud, Yann (Journal of Computational and Applied Mathematics, 2016)