Return to Article Details Dialectical Assurance Case using Structured Assurance Case Metamodel Notation Download Download PDF