Alessio Ferrari, Paola Spoletini: Formal requirements engineering and large language models: A two-way roadmap. Inf. Softw. Technol. 181: 107697 (2025)