1. [1] T. Kelly: A Six-Step Method for the Development of Goal Structures. York Software Engineering (1997)
2. [2] T. Kelly and J. McDermid: Safety Case Construction and Reuse using Patterns. University of York (1997)
3. [3] T. Kelly: Arguing Safety, a Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, University of York (1998)
4. [4] J. McDermid: Software safety: where's the evidence?.
5. [5] T. Kelly, and R. Weaver: The Goal Structuring Notation – A Safety Argument Notation. Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)