Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzEsaurito4,3Avvisami