Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon. A New Approach to creating Clear Safety Arguments. In Chris Dale, Tom Anderson, editors, Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011. pages 3-23, Springer, 2011. [doi]
Abstract is missing.