Structured Assurance Case Methodology for Assessing Software Trustworthiness. - Elizabeth Fong; Michael Kass; Thomas Rhodes; Frederick Boland (SSIRI (Companion), 2010)