Designing FSMs Specifications from Requirements with GPT 4.0. - Omer Nguena Timo; Paul-Alexis Rodriguez; Florent Avellaneda (CoRR, 2026)