1. EUR Whole Airspace ATM System Safety Case (2001).
http://dependability.cs.virginia.edu/research/safetycases/EUR_WholeAirspace.pdf
2. Tube Lines Contractual Safety Case (2004).
http://dependability.cs.virginia.edu/research/safetycases/Tube_Lines.pdf
3. GSN Community Standard Version 1 (2011).
http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf
4. Software Consideration in Airborne Systems and Equipment Certification: RTCA DO-178C, December 2011
5. Barry, M.R.: CertWare: a workbench for safety case production and analysis (2011)