Title: Entwurfs-Software für Mechatronikprodukte mit Sicherheitsanforderungen - Beispiel Magnetlagersystem