PAScal – Das kostenlose Softwaretool von Pilz zur Verifikation funktionaler Sicherheit