CRICA Compendium - Peter B. Ladkin's compendium of Computer-Related Incidents with Commercial Aircraft, containing accident reports, discussion, papers, etc.
Nancy Leveson - including requirements specification and analysis, software system safety, system safety and accident models, organisational and culture issues, human-machine interaction and software fault tolerance