Validation of the dependability of CAN-based networked systems | IEEE Conference Publication | IEEE Xplore