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), pp. 4370–4386. Available at: https://thesesjournal.com/index.php/1/article/view/3620 (Accessed: 27 August 2026).