Automotive Digital Twins: A Traversal Algorithm for Virtual Testing of Software over-the-air Updates | IEEE Conference Publication | IEEE Xplore