Richard Hawkins 0001 Tim P. Kelly John C. Knight Patrick J. Graydon A New Approach to creating Clear Safety Arguments. 3-23 2011 SSS https://doi.org/10.1007/978-0-85729-133-2_1 conf/scss/2011 db/conf/scss/sss2011.html#HawkinsKKG11