This paper presents a formal approach for the analysis and development of effective, safe, and efficient procedures for abnormal and emergency situations. The focus is on methods for describing the behavior of the underlying machine, specification of desirable and unsafe regions of operation, and an algorithmic approach for computation of optimal action sequences. We discuss current gaps in procedure development and conclude with some of the challenges that lie ahead.
& Barshi, I.
(2007). Generating Procedures and Recovery Sequences: a Formal Approach. 2007 International Symposium on Aviation Psychology, 252-258.