1. Verifying the Accuracy of COSMIC Automation Tools:an AUTOSAR-based Example and a Case StudyH. Soubra (ESTACA), A. Abran (ETS), A.Ramdane-Cherif(UVSQ)IWSM MENSURA, October…