The paper “On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK”, by Sebastian Betancourt and Valentina Castiglioni, has been accepted at ABZ 2025, that will take place in Dusseldorf, 10-13 June 2025.