Interval analysis