Title: Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
Subjects: Flight control, Fault-tolerant computing