30.2.1 Troubleshooting 570
30.2.2 Forcing 570
30.4.1 Developing a Program Structure 573
30.4.2 Program Verification and Simulation 575
30.7.1 IEC 61508/61511 safety standards 584
30.9.1 References 586