An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets. - Lyward Manuel S. Tongzon; Jasmine A. Malinao (NiDS (2), 2025)