Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzVypredanáPostrážiť