Applied Interval Analysis by Michel Kieffer, Erich Walter & Luc Jaulin