1. Knight capital glitch loss hits $461m;Massoudi;Financial Times,2012
2. Toyota to recall Prius hybrids over ABS software;Williams;Computerworld,2010
3. Australian Transport Safety Bureau, In-flight upset 154 km west of Learmouth, WA, VH-QPA, Airbus A330-303, December 2011.
4. Mars climate orbiter Mishap investigation board phase I report;NASA,1999
5. Using Z: Specification, Refinement, and Proof;Woodcock,1996