No Photo Joan Rigo Lines of Research Publications Combining Operational Flexibility and Dependability in FTT-CAN Date: 2006-12-31 Design and Modeling of a Protocol to Enforce Consistency among Replicated Masters in FTT-CAN Date: 2004-12-31