Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness. - Andrei Luz B. Asoy; Jasmine A. Malinao (NiDS (1), 2025)