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 August 27, 2026. https://thesesjournal.com/index.php/1/article/view/3620.