1. Kelly, T.: A Six-Step Method for the Development of Goal Structures, York Software Engineering (1997)
2. Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Daniel, P. (ed.) Safe Comp 97, pp. 55–69. University of York, New York (1997)
3. Kelly, T.: Arguing safety: a systematic approach to managing safety cases, Ph.D thesis, Department of Computer Science, University of York (1998)
4. McDermid, J.: Software safety: where’s the evidence? In: SCS 2001: Proceedings of the Sixth Australian workshop on Safety critical systems and software, pp. 1–6. Australian Computer Society, Inc., Darlinghurst, Australia (2001)
5. Kelly, T., Weaver, R.: The goal structuring notation – a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)