John Rushby
has collected
some anecdotes about anomalies which appeared during flight research
in USAF and NASA research aircraft, which appear in
Anomalies in
Digital Flight Control Systems (DFCS), a part of his forthcoming
book with Cambridge University Press on the use of formal methods.