R. Hawkins, I. Habli, and T. Kelly, The Principles of Software Safety Assurance, 31 st International System Safety Conference, 2013.

. Mod, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems, HMSO, 2007.

R. Bloomfield and P. Bishop, Safety and Assurance Cases: Past, Present and Possible Future ??? an Adelard Perspective, 18th Safety?Critical Systems Symposium, 2010.
DOI : 10.1007/978-1-84996-086-1_4

R. Hawkins and T. Kelly, A Software Safety Argument Pattern Catalogue, pp.2013-482, 2013.

R. Hawkins, I. Habli, T. Kelly, and J. Mcdermid, Assurance cases and prescriptive software safety certification: A comparative study, Safety Science, vol.59, 2013.
DOI : 10.1016/j.ssci.2013.04.007

E. Hull, K. Jackson, and J. Dick, Requirements Engineering, 2002.

N. Leveson, Intent Specifications: An Approach to Building Human-Centered Specifications, IEEE Transactions on Software Engineering, vol.26, issue.1, 2000.

R. Hawkins, T. Kelly, J. Knight, and P. Graydon, A New Approach to Creating Clear Safety Arguments. 19 th Safety?Critical Systems Symposium, 2011.

E. Denney, G. Pai, and I. Habli, Towards Measurement of Condence in Safety Cases, Symposium on Empirical Software Engineering and Measurement, 2011.