Verification and Validation of Logic Control Algorithms by Model Checking: Verifikation Und Validierung Von Steuerungsalgorithmen Mittels Model Checking (Berichte Aus Der Automatisierungstechnik)