Limitations of Safety Assurance and Goal Structuring Notation (GSN)
"People are putting a lot of effort into figuring out how to assure a system is safe after the system design is completed. This white paper presents some of the difficulties and alternatives to emphasizing after-the-fact assurance of safety"
