R.: The goal structuring notation–a safety argument notation (2004)

by T Kelly, Weaver
Venue:Proc. DSN 2004 Workshop on Assurance Cases