To the user, the entire TMR system appears as a single entity. Although there is complexity in the architecture to ensure that availability is coupled with protection and security against license ...