FASR: Automated Identification of Unsafe Control Actions in STPA. - Ian Dardik; Yining She; Sam Procter; Keaton Hanna; Lutz Wrage; Eunsuk Kang (CoRR, 2026)