SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. - Oluwafemi Odu; Daniel Méndez Beltrán; Emiliano Berrones Gutiérrez; Alvine B. Belle; Gerhard Yu; Melika Sherafat (SAFECOMP, 2025)