Leseprobe: Modellbasierte Entwicklung von Methoden, Algorithmen und Werkzeugen zur Analyse und Synthese nachgiebiger Mechanismen