1. The ariane 5 software failure;Dowson;Software Engineering Notes,1997
2. Why the mars probe went off course;Oberg;IEEE Spectrum,1999
3. The natural history of bugs: using formal methods to analyse software related failures in space missions;Johnson;LNCS,2005
4. Mars code;Holzmann;Comm. of the ACM,2014
5. Raymond A Columbia, the legacy of ”better, faster, cheaper”? Space Daily 2003 http://www.spacedaily.com/news/rocketscience-03zk.html