Optimierung einer PLCopen Safety Bibliothek: normgerecht erweitert, verifiziert und validiert - zukunftssicher für die industrielle Automatisierung.