Computation and Application of Taylor Polynomials with Interval Remainder Bounds. - Martin Berz; Georg Hoffstätter (Reliab. Comput., 1998)