Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness حسب Asoy, Andrei Luz B.