Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung.