The original CMU SEI report, authored by Goodenough, Weinstock, and Klein, that served as inspiration for CSL’s approach to assurance case argumentation.