publication venue for AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases 2024 Criteria to Systematically Evaluate (Safety) Assurance Cases 2019