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. Safety and Assurance Cases: Past;Bloomfield;Present and Possible Future – an Adelard Perspective,2010
4. OMG, “Essence – Kernel and Language for Software Engineering Methods”, ad/2013-02-01, http://www.omg.org/spec/Essence/1.0, 2013.
5. The Open Group, TOGAF V.9 A Pocket Guide, 2008.