Faraz Ahmad; *Hashim Ali; Sana Amin; Hazrat Wali. FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH. SES 2026, 4, 4370-4386.