Just Enough Formality in Assurance Argument Structures.

Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik

Browse the full SAFECOMP paper archive.