Towards analyzing the fault-tolerant operation of Server-CAN | Publicación