Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzAusverkauft4,3Bewachen