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 4, no. 3 (March 20, 2026): 4370–4386. Accessed September 23, 2026. https://www.thesesjournal.com/index.php/1/article/view/3620.