Faraz Ahmad, *Hashim Ali, Sana Amin, and Hazrat Wali. “FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH”. Spectrum of Engineering Sciences, vol. 4, no. 3, Mar. 2026, pp. 4370-86, https://thesesjournal.com/index.php/1/article/view/3620.