Return to Article Details Adoption of Opacity-based Graphical Highlights as a Representation of Structured Assurance Case Metamodel ArgumentGroup Download Download PDF