Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial. - Anastasia Mavridou; Andreas Katis; Mari A. Aoki; Marie Farrell (FM (2), 2026)