Accurate dependability analysis of CAN-based networked systems | IEEE Conference Publication | IEEE Xplore