1. Ackermann, J., Blue, P., B¨unte, T., G¨uvenc, L., Kaesbauer, D., Kordt, M., Muhler, M., Odenthal, D.: Robust Control: The Parameter Space Approach, 2nd edn. Springer–Verlag, London (2002)
2. Aschemann, H., Minisini, J., Rauh, A.: Interval Arithmetic Techniques for the Design of Controllers for Nonlinear Dynamical Systems with Applications in Mechatronics — Part 1. Izvestiya RAN. Teoriya i sistemy upravleniya (Journal of Computer and Systems Sciences International) (3), 3–14 (2010)
3. Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Proc. of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice, Lecture Notes in Computer Science, pp. 1–27 (2008)
4. Bendsten, C., Stauning, O.: FADBAD++, Version 2.1 (2007). http://www.fadbad.com
5. Berz, M., Makino, K.: COSY INFINITY Version 8.1. User’s Guide and Reference Manual. Tech. Rep. MSU HEP 20704, Michigan State University (2002)