Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations | IEEE Conference Publication | IEEE Xplore