Dependability of embedded networks — A case study with system diagnosis of CAN protocol | IEEE Conference Publication | IEEE Xplore