back Chris Johnson, Index.

Formal Proof Techniques

The No.1 engine suffered fatigue of one of its
fan blades which caused detachment of the blade
outer panel.   This led to a series of
compressor stalls, over a period of 22 seconds
until the engine autothrottle was disengaged

(Page 144 from UK Air Accident Investigation Branch
report on the accident to Boeing 737-400 G-OBME near
Kegworth, Leicestershire on January 8th 1989.

fatigue(fan_blade(engine_no_1)) [1]