1. Kelly, T.P.: A Six-Step Method for the Development of Goal Structures. York Software Engineering (1997)
2. Kelly, T.P.: Arguing Safety, A Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, University of York (1998)
3. Bloomfield, P., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective (2010)
4. OMG, Essence – Kernel and Language for Software Engineering Methods, ad/2013-02-01 (2013),
http://www.omg.org/spec/Essence/1.0
5. The Open Group, TOGAF V.9 A Pocket Guide (2008)