The goal structuring notation—a safety argument notation (2004)

by T Kelly, R Weaver
Venue:In Proc. of Dependable Systems and Networks Workshop on Assurance Cases