Hierarchical Specification of the SIFT Fault-Tolerant Flight Control System (1981)

by P M Melliar-Smith, R Schwartz
Venue:SRI International, Menlo Park, Ca