Probabilistic analysis of CAN with faults | Publicación