Provides developers and testers of safety-related machine controls with comprehensive support in the evaluation of safety in the context of ISO 13849-1.