1. J. Alexandre dit Sandretto and A. Chapoutot. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing, 2016. To appear.
2. S. M. Batill, J. E. Renaud, and X. Gu. Modeling and simulation uncertainty in multidisciplinary design optimization. AIAA paper, 4803, 2000.
3. F. Benhamou, D. McAllester, and P. Van Hentenryck. Clp (intervals) revisited. Technical report, Providence, RI, USA, 1994.
4. B. S. Blanchard, W. J. Fabrycky, and W. J. Fabrycky. Systems engineering and analysis, volume 4. Prentice Hall New Jersey;, 1990.
5. O. Bouissou, A. Chapoutot, and A. Djoudi. Enclosing temporal evolution of dynamical systems using numerical methods. In NASA Formal Methods, number 7871 in LNCS, pages 108--123. Springer, 2013.