No Photo José A. Fonseca Lines of Research Publications Design and Modeling of a Protocol to Enforce Consistency among Replicated Masters in FTT-CAN Date: 2004-12-31 Enforcing Consistency of Communication Requirements Updates in FTT-CAN Date: 2003-12-31