Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen