The Goal Structuring Notation–A Safety Argument Notation (2004)

by T Kelly, R Weaver
Venue:In Workshop on Assurance Cases, co-located with DSN