Auspex: Building Threat Modeling Tradecraft into an Artificial Intelligence-based Copilot. - Andrew Crossman; Andrew R. Plummer; Chandra Sekharudu; Deepak Warrier; Mohammad Yekrangian (CoRR, 2025)