Identifying Safety-Critical Requirement Defects Using a Tool-Based