1. Auer, E., Kiel, S., Rauh, A.: A verified method for solving piecewise smooth initial value problems. Int. J. Appl. Math. Comput. Sci. AMCS 23(4), 731–747 (2013)
2. Hofer, E.P., Rauh, A.: Applications of interval algorithms in engineering. In: CD-Proceedings of 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany (2007)
3. Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied Interval Analysis. Springer, London (2001)
4. Kalman, R.E.: A new approach to linear filtering and prediction problems. Trans. ASME - J. Basic Eng. 82(Series D), 35–45 (1960)
5. Lohner, R.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E.W., Kulisch, U.W., Ullrich, C. (eds.) Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255–286. Wiley-Teubner Series in Computer Science, Stuttgart (1987)