Sebastián Betancourt Valentina Castiglioni On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark. 269-287 2025 ABZ https://doi.org/10.1007/978-3-031-94533-5_16 conf/zum/2025 db/conf/zum/abz2025.html#BetancourtC25 streams/conf/zum