Safety-Verification Flow Sporting Gate-Level Accuracy and Near Virtual-Prototype Speed

Author(s):
B.-A. Tabacaru, M. Chaari, W. Ecker, T. Kruse, and C. Novello