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):4370-86. https://thesesjournal.com/index.php/1/article/view/3620.