SAFE4I: Sicherer Automatischer Software-Entwurf für Industrieanlagen (SAFE4I)