Automotive Digital Twins: A Traversal Algorithm for Virtual Testing of Software over-the-air Updates. - Till Fuchs; Matthias Zinser; Kevin Renatus; Bernard Bäker (ICM, 2023)