1. Mark Ainsworth and J. Tinsley Oden. A Posteriori Error Estimation in Finite Element Analysis. John Wiley & Sons, Inc., 2000.
2. Julien Alexandre Dit Sandretto and Alexandre Chapoutot. Dynibex: a differential constraint library for studying dynamical systems. In Conference on Hybrid Systems: Computation and Control (HSCC 2016). “ http://www.cs.ox.ac.uk/conferences/hscc2016/index.html ”, “hal-01297273”, April 2016, Vienne, Austria. 2016.
3. Julien Alexandre Dit Sandretto and Alexandre Chapoutot. Contraction, propagation and bisection on a validated simulation of ODE. Summer Workshop on Interval Methods. In Conference on Hybrid Systems: Computation and Control (HSCC 2016). hal-01325068, June 2016, Lyon, France. 2016.
4. J.-P. Aubin, A. Bayen, and P. Saint-Pierre. Viability Theory New Directions, Second Edition. Number ISBN 978-3-642-16683-9. Springer-Verlag, Berlin Heidelberg, 2011.
5. Jean-Pierre Aubin and Anna Désilles. Traffic Networks as Information Systems. A viability approach. Mathematical Engineering. Springer, 1 2016.