DEVS Copilot: Towards Generative AI-Assisted Formal Simulation Modelling based on Large Language Models. - Tobias Carreira-Munich; Valentín Paz-Marcolla; Rodrigo D. Castro (WSC, 2024)