Transformation of DES Formalisms with the Assistance of Generative AI. - Celina Lemmouchi; Rim Saddem-Yagoubi (VECoS, 2025)