FARAZ AHMAD; *HASHIM ALI; SANA AMIN; HAZRAT WALI. FORMAL SPECIFICATION OF ENVIRONMENTAL REQUIREMENTS IN AUTOMATED DRIVING SYSTEMS: A FRET-DRIVEN APPROACH. Spectrum of Engineering Sciences, [S. l.], v. 4, n. 3, p. 4370–4386, 2026. Disponível em: https://www.thesesjournal.com/index.php/1/article/view/3620. Acesso em: 22 sep. 2026.