Virtual Verification and Validation of Automotive System. - Mona Safar; Magdy A. El-Moursy; Mohamed Abdelsalam; Ayman Bakr; Keroles K. Khalil; Ashraf Salem (J. Circuits Syst. Comput., 2019)