Faraz Ahmad, *Hashim Ali, Sana Amin and Hazrat Wali 2026. FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH. Spectrum of Engineering Sciences. 4, 3 (Mar. 2026), 4370–4386.