interval analysis