Structured Assurance Case Methodology for Assessing Software Trustworthiness | IEEE Conference Publication | IEEE Xplore