A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
Real-time Simulation of a Vehicle Door Locking Mechanism on a Hardware-in-the-Loop Platform
Automated Functional and Robustness Testing of Vehicle Infotainment System