Faraz Ahmad, *Hashim Ali, Sana Amin, & Hazrat Wali. (2026). FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH. Spectrum of Engineering Sciences, 4(3), 4370–4386. Retrieved from https://thesesjournal.com/index.php/1/article/view/3620