Standard compliant co-simulation models for verification of automotive embedded systems | IEEE Conference Publication | IEEE Xplore