Probabilistic analysis of CAN with faults | IEEE Conference Publication | IEEE Xplore