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://www.thesesjournal.com/index.php/1/article/view/3620 (Accessed: 13 November 2026).