Verification and analysis of dependable automotive communication systems based on HW/SW co-simulation | IEEE Conference Publication | IEEE Xplore