1. Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. Academic Press, New York (1983)
2. OpenMP Architecture Review Board: OpenMP Application Program Interface, Version 4.0, July 2013
3. Brajard, J., Li, P., Jézéquel, F., Benavidès, H.-S., Thiria, S.: Numerical validation of data assimilation codes generated by the YAO software. In: SIAM Annual Meeting, San Diego, California, USA (2013)
4. Eberhart, P., Brajard, J., Fortin, P., Jézéquel, F.: High performance numerical validation using stochastic arithmetic. Reliable Comput. 21, 35–52 (2015)
5. Hölbig, C.A., Do Carmo, A., Arendt, L.P.: High accuracy and interval arithmetic on multicore processors. Comput. Appl. Math. 32(3), 425–434 (2013)