Design and modeling of a protocol to enforce consistency among replicated masters in FTT-CAN | Publicación