Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. - Rim Zrelli; Henrique Amaral Misson; Marwa Ben Attia; Felipe Gohring de Magalhaes; Abdo Shabah; Gabriela Nicolescu (J. Syst. Softw., 2026)