1. RTCA Inc. and EUROCAE. DO-178B: Software considerations in airborne systems and equipment certification, December 1992.
2. UK Ministry of Defence. Defence standard 00-55—the procurement of safety critical software in defence equipment, 1997.
3. Galloway A, Iwu F, McDermid J, Toyn I. On the development of safety–critical software. In: International conference on verified software: theories, tools, and experiments, Zürich, Switzerland, October, 2005, accepted for publication. http://vstte.ethz.ch/Files/galloway-iwu-mcdermid-toyn.pdf
4. Is proof more cost-effective than testing?;King;IEEE Trans Software Eng,2000
5. The unified modelling language reference manual;Rumbaugh,1998