Faraz Ahmad, *Hashim Ali, Sana Amin, and Hazrat Wali, “FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH”, SES, vol. 4, no. 3, pp. 4370–4386, Mar. 2026.