1. Alamo, T., Bravo, J.M. and Camacho, E.F. (2005). Guaranteed state estimation by zonotopes, Automatica 41(6): 1035-1043.
2. Auer, E., Kiel, S. and Rauh, A. (2013). A verified method for solving piecewise smooth initial value problems, International Journal of Applied Mathematics and Computer Science 23(4): 731-747, DOI: 10.2478/amcs-2013-0055.
3. Boulier, F. (1994). Study and Implementation of Some Algorithms in Differential Algebra, Ph.D. thesis, Université des Sciences et Technologie de Lille, Lille.
4. Bourbaki, N. (1989). Elements of Mathematics, Springer-Verlag, Berlin/Heidelberg.
5. Braems, I., Jaulin, L., Kieffer, M. and Walter, E. (2001). Guaranteed numerical alternatives to structural identifiability testing, Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, pp. 3122-3127.