Verification and Validation of a Fault-Tolerant Architectural Abstraction