Combining GSN and STPA for Safety Arguments.

Celso M. Hirata, Simin Nadjm-Tehrani

Browse the full SAFECOMP paper archive.