From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain | IEEE Conference Publication | IEEE Xplore