Safety-Verification Flow Sporting Gate-Level Accuracy and Near Virtual-Prototype Speed Author(s): Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, and Cristiano Novello Download