1. Methods and applications of interval analysis;Moore,1979
2. Interval methods for systems of equations;Neumaier,1990
3. Enclosing the solutions of ordinary initial and boundary value problems;Lohner,1987
4. CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems;Kapela,2020
5. Galias Z. On rigorous study of Poincaré maps defined by piecewise linear systems. In: Proc. IEEE Int. Symp. Circuits Syst. (ISCAS), Kobe, Japan, 2005, p. 3407–10.