Martin Aleksandrov, Kristina Yordanova, Eduardo Borges, Diogo Soares, Tiago Barros, Cristiano Premebida: Safer and Trustworthier Navigation of Automated Vehicles. CSCS 2025: 183-189