diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.structure.mps
index 0493f4c21..082238036 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.structure.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.structure.mps
@@ -76,6 +76,7 @@
     <property role="TrG5h" value="ConfidenceArgument" />
     <property role="19KtqR" value="true" />
     <property role="34LRSv" value="confidence argument" />
+    <property role="R4oN_" value="an argument about the confidence in a claim" />
     <ref role="1TJDcQ" to="py52:3GRi4m$qNsQ" resolve="GoalStructure" />
     <node concept="1TJgyj" id="4lbNCDmPWRO" role="1TKVEi">
       <property role="IQ2ns" value="4993311705428119028" />
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.structure.mps
index d58cee6c2..af814881e 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.structure.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.structure.mps
@@ -51,6 +51,8 @@
   <node concept="1TIwiD" id="48_A4oY40ha">
     <property role="EcuMT" value="4766383208097907786" />
     <property role="TrG5h" value="Weight" />
+    <property role="34LRSv" value="weight" />
+    <property role="R4oN_" value="represents the weight of this leg for confidence" />
     <ref role="1TJDcQ" to="py52:6dwPixfdDSd" resolve="GoalStructureAttributeBase" />
     <node concept="1TJgyi" id="48_A4oY40ig" role="1TKVEl">
       <property role="IQ2nx" value="4766383208097907856" />
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._410_gsn_confidence_acp.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._410_gsn_confidence_acp.mps
index a9636b4dd..f31baf73b 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._410_gsn_confidence_acp.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._410_gsn_confidence_acp.mps
@@ -106,18 +106,18 @@
       <node concept="37mRIm" id="4lbNCDmRjtD" role="37mRID">
         <property role="37mO49" value="4993311705428119016" />
         <node concept="gqqVs" id="4lbNCDmRjtB" role="37mO4d">
-          <property role="gqqTZ" value="143.0" />
-          <property role="gqqTW" value="-5.0" />
-          <property role="gqqTX" value="114.0" />
-          <property role="gqqTy" value="78.0" />
+          <property role="gqqTZ" value="348.49995" />
+          <property role="gqqTW" value="12.000100000000003" />
+          <property role="gqqTX" value="106.0" />
+          <property role="gqqTy" value="69.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>
       <node concept="37mRIm" id="4lbNCDmRju6" role="37mRID">
         <property role="37mO49" value="4993311705428473718" />
         <node concept="gqqVs" id="4lbNCDmRju5" role="37mO4d">
-          <property role="gqqTZ" value="132.0" />
-          <property role="gqqTW" value="125.0" />
+          <property role="gqqTZ" value="338.99995" />
+          <property role="gqqTW" value="134.00029836425782" />
           <property role="gqqTX" value="125.0" />
           <property role="gqqTy" value="59.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -130,8 +130,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="4lbNCDmRjut" role="3ul5Gz">
               <node concept="2VclrF" id="4lbNCDmRjuu" role="3wpmZR">
-                <property role="2Vclpx" value="226.0" />
-                <property role="2Vclpz" value="95.0" />
+                <property role="2Vclpx" value="321.5" />
+                <property role="2Vclpz" value="99.00019836425781" />
               </node>
               <node concept="2VclrF" id="4lbNCDmRjuv" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -144,8 +144,8 @@
       <node concept="37mRIm" id="1XJsHce2Wq5" role="37mRID">
         <property role="37mO49" value="2265155388389967474" />
         <node concept="gqqVs" id="1XJsHce2Wq4" role="37mO4d">
-          <property role="gqqTZ" value="86.0" />
-          <property role="gqqTW" value="251.0" />
+          <property role="gqqTZ" value="339.49995" />
+          <property role="gqqTW" value="266.0004967285156" />
           <property role="gqqTX" value="124.0" />
           <property role="gqqTy" value="69.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -154,8 +154,8 @@
       <node concept="37mRIm" id="1XJsHce2WqD" role="37mRID">
         <property role="37mO49" value="2265155388389967494" />
         <node concept="gqqVs" id="1XJsHce2WqC" role="37mO4d">
-          <property role="gqqTZ" value="277.0" />
-          <property role="gqqTW" value="251.0" />
+          <property role="gqqTZ" value="204.49995" />
+          <property role="gqqTW" value="266.0004967285156" />
           <property role="gqqTX" value="117.0" />
           <property role="gqqTy" value="69.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -168,8 +168,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="1XJsHce2Wrc" role="3ul5Gz">
               <node concept="2VclrF" id="1XJsHce2Wrd" role="3wpmZR">
-                <property role="2Vclpx" value="68.5" />
-                <property role="2Vclpz" value="213.0" />
+                <property role="2Vclpx" value="412.5" />
+                <property role="2Vclpz" value="231.00039672851562" />
               </node>
               <node concept="2VclrF" id="1XJsHce2Wre" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -177,10 +177,6 @@
               </node>
             </node>
           </node>
-          <node concept="2VclrF" id="1XJsHce2WrR" role="2Vcluh">
-            <property role="2Vclpx" value="146.5" />
-            <property role="2Vclpz" value="217.5" />
-          </node>
         </node>
       </node>
       <node concept="37mRIm" id="1XJsHce2Wst" role="37mRID">
@@ -190,8 +186,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="1XJsHce2Wsv" role="3ul5Gz">
               <node concept="2VclrF" id="1XJsHce2Wsw" role="3wpmZR">
-                <property role="2Vclpx" value="276.0" />
-                <property role="2Vclpz" value="188.0" />
+                <property role="2Vclpx" value="183.0" />
+                <property role="2Vclpz" value="231.00039672851562" />
               </node>
               <node concept="2VclrF" id="1XJsHce2Wsx" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -200,40 +196,40 @@
             </node>
           </node>
           <node concept="2VclrF" id="1XJsHce2Wth" role="2Vcluh">
-            <property role="2Vclpx" value="214.93111629250276" />
-            <property role="2Vclpz" value="213.06888370749724" />
+            <property role="2Vclpx" value="401.5" />
+            <property role="2Vclpz" value="211.00039672851562" />
           </node>
           <node concept="2VclrF" id="l38t$6xsj$" role="2Vcluh">
-            <property role="2Vclpx" value="314.9311791325514" />
-            <property role="2Vclpz" value="213.06882086744864" />
+            <property role="2Vclpx" value="263.0" />
+            <property role="2Vclpz" value="211.00039672851562" />
           </node>
         </node>
       </node>
       <node concept="37mRIm" id="1XJsHce2WtZ" role="37mRID">
         <property role="37mO49" value="2265155388389967718" />
         <node concept="gqqVs" id="1XJsHce2WtY" role="37mO4d">
-          <property role="gqqTZ" value="3.0" />
-          <property role="gqqTW" value="648.0" />
-          <property role="gqqTX" value="160.0" />
-          <property role="gqqTy" value="103.0" />
+          <property role="gqqTZ" value="150.49995" />
+          <property role="gqqTW" value="690.0011375976562" />
+          <property role="gqqTX" value="156.0" />
+          <property role="gqqTy" value="87.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>
       <node concept="37mRIm" id="1XJsHce2Wv7" role="37mRID">
         <property role="37mO49" value="2265155388389967787" />
         <node concept="gqqVs" id="1XJsHce2Wv6" role="37mO4d">
-          <property role="gqqTZ" value="168.0" />
-          <property role="gqqTW" value="648.0" />
+          <property role="gqqTZ" value="324.49995" />
+          <property role="gqqTW" value="690.0011375976562" />
           <property role="gqqTX" value="154.0" />
-          <property role="gqqTy" value="89.0" />
+          <property role="gqqTy" value="73.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
         </node>
       </node>
       <node concept="37mRIm" id="1XJsHce2WwA" role="37mRID">
         <property role="37mO49" value="2265155388389967879" />
         <node concept="gqqVs" id="1XJsHce2Ww_" role="37mO4d">
-          <property role="gqqTZ" value="29.0" />
-          <property role="gqqTW" value="389.0" />
+          <property role="gqqTZ" value="290.49995" />
+          <property role="gqqTW" value="388.0007103515625" />
           <property role="gqqTX" value="222.0" />
           <property role="gqqTy" value="73.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -246,8 +242,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="1XJsHce2WyN" role="3ul5Gz">
               <node concept="2VclrF" id="1XJsHce2WyO" role="3wpmZR">
-                <property role="2Vclpx" value="157.0" />
-                <property role="2Vclpz" value="342.0" />
+                <property role="2Vclpx" value="321.5" />
+                <property role="2Vclpz" value="353.0006103515625" />
               </node>
               <node concept="2VclrF" id="1XJsHce2WyP" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -260,8 +256,8 @@
       <node concept="37mRIm" id="1XJsHce2WG6" role="37mRID">
         <property role="37mO49" value="2265155388389968612" />
         <node concept="gqqVs" id="1XJsHce2WG5" role="37mO4d">
-          <property role="gqqTZ" value="15.0" />
-          <property role="gqqTW" value="529.0" />
+          <property role="gqqTZ" value="349.99995" />
+          <property role="gqqTW" value="548.0009544921875" />
           <property role="gqqTX" value="103.0" />
           <property role="gqqTy" value="55.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -274,8 +270,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="1XJsHce2WH8" role="3ul5Gz">
               <node concept="2VclrF" id="1XJsHce2WH9" role="3wpmZR">
-                <property role="2Vclpx" value="28.0" />
-                <property role="2Vclpz" value="494.5" />
+                <property role="2Vclpx" value="412.5" />
+                <property role="2Vclpz" value="499.0008239746094" />
               </node>
               <node concept="2VclrF" id="1XJsHce2WHa" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -283,10 +279,6 @@
               </node>
             </node>
           </node>
-          <node concept="2VclrF" id="l38t$6uVSq" role="2Vcluh">
-            <property role="2Vclpx" value="64.49999999999999" />
-            <property role="2Vclpz" value="507.5" />
-          </node>
         </node>
       </node>
       <node concept="37mRIm" id="1XJsHce2WIu" role="37mRID">
@@ -346,8 +338,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="l38t$6uVWF" role="3ul5Gz">
               <node concept="2VclrF" id="l38t$6uVWG" role="3wpmZR">
-                <property role="2Vclpx" value="15.75" />
-                <property role="2Vclpz" value="609.0" />
+                <property role="2Vclpx" value="148.5" />
+                <property role="2Vclpz" value="655.0010375976562" />
               </node>
               <node concept="2VclrF" id="l38t$6uVWH" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -355,6 +347,14 @@
               </node>
             </node>
           </node>
+          <node concept="2VclrF" id="4y8PK53Yrux" role="2Vcluh">
+            <property role="2Vclpx" value="401.5" />
+            <property role="2Vclpz" value="635.0010375976562" />
+          </node>
+          <node concept="2VclrF" id="4y8PK53Yruy" role="2Vcluh">
+            <property role="2Vclpx" value="228.5" />
+            <property role="2Vclpz" value="635.0010375976562" />
+          </node>
         </node>
       </node>
       <node concept="37mRIm" id="l38t$6uVY$" role="37mRID">
@@ -364,8 +364,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="l38t$6uVYA" role="3ul5Gz">
               <node concept="2VclrF" id="l38t$6uVYB" role="3wpmZR">
-                <property role="2Vclpx" value="120.75" />
-                <property role="2Vclpz" value="615.5" />
+                <property role="2Vclpx" value="321.5" />
+                <property role="2Vclpz" value="655.0010375976562" />
               </node>
               <node concept="2VclrF" id="l38t$6uVYC" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -444,8 +444,8 @@
       <node concept="37mRIm" id="l38t$6uWcx" role="37mRID">
         <property role="37mO49" value="379184009629647606" />
         <node concept="gqqVs" id="l38t$6uWcw" role="37mO4d">
-          <property role="gqqTZ" value="299.0" />
-          <property role="gqqTW" value="543.0" />
+          <property role="gqqTZ" value="209.99995" />
+          <property role="gqqTW" value="534.0009544921875" />
           <property role="gqqTX" value="122.0" />
           <property role="gqqTy" value="83.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -458,8 +458,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="l38t$6uWeu" role="3ul5Gz">
               <node concept="2VclrF" id="l38t$6uWev" role="3wpmZR">
-                <property role="2Vclpx" value="281.0" />
-                <property role="2Vclpz" value="492.0" />
+                <property role="2Vclpx" value="191.0" />
+                <property role="2Vclpz" value="499.0008239746094" />
               </node>
               <node concept="2VclrF" id="l38t$6uWew" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -468,20 +468,20 @@
             </node>
           </node>
           <node concept="2VclrF" id="l38t$6uWgr" role="2Vcluh">
-            <property role="2Vclpx" value="198.0" />
-            <property role="2Vclpz" value="510.0" />
+            <property role="2Vclpx" value="401.5" />
+            <property role="2Vclpz" value="479.0008239746094" />
           </node>
           <node concept="2VclrF" id="l38t$6v2t7" role="2Vcluh">
-            <property role="2Vclpx" value="332.000046112947" />
-            <property role="2Vclpz" value="509.999953887053" />
+            <property role="2Vclpx" value="271.0" />
+            <property role="2Vclpz" value="479.0008239746094" />
           </node>
         </node>
       </node>
       <node concept="37mRIm" id="5rKLCgmFXG6" role="37mRID">
         <property role="37mO49" value="6264725352290966232" />
         <node concept="gqqVs" id="5rKLCgmFXG5" role="37mO4d">
-          <property role="gqqTZ" value="-156.0" />
-          <property role="gqqTW" value="481.0" />
+          <property role="gqqTZ" value="554.49995" />
+          <property role="gqqTW" value="548.0009544921875" />
           <property role="gqqTX" value="81.0" />
           <property role="gqqTy" value="55.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -490,8 +490,8 @@
       <node concept="37mRIm" id="5rKLCgmFXIE" role="37mRID">
         <property role="37mO49" value="6264725352290966393" />
         <node concept="gqqVs" id="5rKLCgmFXID" role="37mO4d">
-          <property role="gqqTZ" value="-156.0" />
-          <property role="gqqTW" value="557.0" />
+          <property role="gqqTZ" value="554.49995" />
+          <property role="gqqTW" value="629.0011375976562" />
           <property role="gqqTX" value="81.0" />
           <property role="gqqTy" value="55.0" />
           <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
@@ -504,8 +504,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="5rKLCgmFXMz" role="3ul5Gz">
               <node concept="2VclrF" id="5rKLCgmFXM$" role="3wpmZR">
-                <property role="2Vclpx" value="-59.5" />
-                <property role="2Vclpz" value="503.5" />
+                <property role="2Vclpx" value="471.0" />
+                <property role="2Vclpz" value="585.0010375976562" />
               </node>
               <node concept="2VclrF" id="5rKLCgmFXM_" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -514,8 +514,8 @@
             </node>
           </node>
           <node concept="2VclrF" id="5rKLCgmFXOH" role="2Vcluh">
-            <property role="2Vclpx" value="-28.0" />
-            <property role="2Vclpz" value="543.0" />
+            <property role="2Vclpx" value="528.3847884854354" />
+            <property role="2Vclpz" value="570.6453660585087" />
           </node>
         </node>
       </node>
@@ -526,8 +526,8 @@
             <property role="3ul5GH" value="label" />
             <node concept="3wpmZ1" id="5rKLCgmFXPg" role="3ul5Gz">
               <node concept="2VclrF" id="5rKLCgmFXPh" role="3wpmZR">
-                <property role="2Vclpx" value="-63.5" />
-                <property role="2Vclpz" value="576.5" />
+                <property role="2Vclpx" value="446.0" />
+                <property role="2Vclpz" value="630.0010375976562" />
               </node>
               <node concept="2VclrF" id="5rKLCgmFXPi" role="3wpmZP">
                 <property role="2Vclpx" value="0.0" />
@@ -661,6 +661,7 @@
       <ref role="3VeSjQ" node="5rKLCgmFXFo" resolve="C1" />
       <node concept="3Ho4uE" id="5rKLCgmFXSa" role="1Wbb7D">
         <property role="TrG5h" value="ACP2" />
+        <ref role="3Ho4uy" node="l38t$6v2pk" resolve="_110_confidence_argument_scenarios" />
       </node>
     </node>
     <node concept="2vhqFZ" id="5rKLCgmFXOV" role="2vhqc$">
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_assurance_cases_gsn.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_assurance_cases_gsn.mps
index ae3816053..7a7371dc7 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_assurance_cases_gsn.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_assurance_cases_gsn.mps
@@ -10,6 +10,17 @@
     <import index="6r4f" ref="r:975e4969-1ce0-4ded-8867-b40b46ebd140(_010_patterns_catalogue)" />
   </imports>
   <registry>
+    <language id="00a2e56d-f195-410b-8afe-5a3c7e505658" name="com.mbeddr.formal.safety.gsn.confidence.acp">
+      <concept id="4993311705427915302" name="com.mbeddr.formal.safety.gsn.confidence.acp.structure.AcpRefWord" flags="ng" index="jBRMG">
+        <reference id="4993311705427915879" name="acp" index="jBRFH" />
+      </concept>
+      <concept id="3661716196349264080" name="com.mbeddr.formal.safety.gsn.confidence.acp.structure.AssuranceClaimPoint" flags="ng" index="3Ho4uE">
+        <reference id="3661716196349264088" name="confidenceArgument" index="3Ho4uy" />
+      </concept>
+      <concept id="3661716196349264085" name="com.mbeddr.formal.safety.gsn.confidence.acp.structure.ConfidenceArgument" flags="ng" index="3Ho4uJ">
+        <reference id="4993311705428119028" name="acp" index="jB0dY" />
+      </concept>
+    </language>
     <language id="6464626a-ab04-4051-908e-5e8dc75acd78" name="com.mbeddr.formal.safety.gsn.ext">
       <concept id="1629165016568013909" name="com.mbeddr.formal.safety.gsn.ext.structure.PatternInstance" flags="ng" index="1VB52A">
         <reference id="1094571097530678975" name="originalDefinition" index="AygKy" />
@@ -42,6 +53,7 @@
     </language>
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
       <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
         <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
       </concept>
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
@@ -96,8 +108,10 @@
       </concept>
     </language>
     <language id="e8a04d94-4307-4f88-95a2-25f7c4f39437" name="com.mbeddr.formal.safety.gsn">
+      <concept id="4266958635905770170" name="com.mbeddr.formal.safety.gsn.structure.InContextOfConnection" flags="ng" index="2vhqFZ" />
       <concept id="4266958635905474024" name="com.mbeddr.formal.safety.gsn.structure.Solution" flags="ng" index="2vmhmH" />
       <concept id="4266958635905406443" name="com.mbeddr.formal.safety.gsn.structure.Strategy" flags="ng" index="2vmxQI" />
+      <concept id="4266958635905406579" name="com.mbeddr.formal.safety.gsn.structure.Context" flags="ng" index="2vmxSQ" />
       <concept id="4266958635905267565" name="com.mbeddr.formal.safety.gsn.structure.Goal" flags="ng" index="2vn7WC" />
       <concept id="4266958635905267510" name="com.mbeddr.formal.safety.gsn.structure.GoalStructure" flags="ng" index="2vn7XN">
         <child id="4266958635905772385" name="connections" index="2vhqc$" />
@@ -1170,7 +1184,7 @@
     </node>
   </node>
   <node concept="2vn7XN" id="1TD_kqsR8Z6">
-    <property role="TrG5h" value="_040_linking_solutions_to_external_documents" />
+    <property role="TrG5h" value="_050_linking_solutions_to_external_documents" />
     <node concept="37mRI7" id="1TD_kqsR91W" role="lGtFl">
       <node concept="37mRIm" id="1TD_kqsR91X" role="37mRID">
         <property role="37mO49" value="2191446824204406785" />
@@ -1257,7 +1271,7 @@
     </node>
   </node>
   <node concept="2vn7XN" id="3I9hGreIU2l">
-    <property role="TrG5h" value="_050_linking_solutions_to_external_tools" />
+    <property role="TrG5h" value="_060_linking_solutions_to_external_tools" />
     <node concept="37mRI7" id="3I9hGreIU2m" role="lGtFl">
       <node concept="37mRIm" id="3I9hGreIU2n" role="37mRID">
         <property role="37mO49" value="2191446824204406785" />
@@ -1404,5 +1418,347 @@
       <ref role="3VeSjQ" node="3I9hGreIU8d" resolve="S01" />
     </node>
   </node>
+  <node concept="2vn7XN" id="4y8PK53Yrzh">
+    <property role="TrG5h" value="_040_confidence_assurance_claim_points" />
+    <node concept="2vn7WC" id="4y8PK53Yr$c" role="2vn1q5">
+      <property role="TrG5h" value="G01" />
+      <node concept="19SGf9" id="4y8PK53Yr$d" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53Yr$e" role="19SJt6">
+          <property role="19SUeA" value="Component X works &#10;correctly in specified&#10;environment." />
+        </node>
+      </node>
+    </node>
+    <node concept="37mRI7" id="4y8PK53Yr_d" role="lGtFl">
+      <node concept="37mRIm" id="4y8PK53Yr_e" role="37mRID">
+        <property role="37mO49" value="5226663767998839052" />
+        <node concept="gqqVs" id="4y8PK53Yr_c" role="37mO4d">
+          <property role="gqqTZ" value="284.0" />
+          <property role="gqqTW" value="23.0" />
+          <property role="gqqTX" value="112.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrBj" role="37mRID">
+        <property role="37mO49" value="5226663767998839183" />
+        <node concept="gqqVs" id="4y8PK53YrBi" role="37mO4d">
+          <property role="gqqTZ" value="166.0" />
+          <property role="gqqTW" value="134.0" />
+          <property role="gqqTX" value="152.0" />
+          <property role="gqqTy" value="45.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrEk" role="37mRID">
+        <property role="37mO49" value="5226663767998839373" />
+        <node concept="gqqVs" id="4y8PK53YrEj" role="37mO4d">
+          <property role="gqqTZ" value="22.0" />
+          <property role="gqqTW" value="23.0" />
+          <property role="gqqTX" value="119.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrHd" role="37mRID">
+        <property role="37mO49" value="5226663767998839568" />
+        <node concept="2VclpC" id="4y8PK53YrHc" role="37mO4d">
+          <node concept="3ul5H1" id="4y8PK53YrHe" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrHf" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrHg" role="3wpmZR">
+                <property role="2Vclpx" value="185.25" />
+                <property role="2Vclpz" value="71.0" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrHh" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrIE" role="37mRID">
+        <property role="37mO49" value="5226663767998839718" />
+        <node concept="2VclpC" id="4y8PK53YrID" role="37mO4d">
+          <node concept="3ul5H1" id="4y8PK53YrIF" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrIG" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrIH" role="3wpmZR">
+                <property role="2Vclpx" value="242.0" />
+                <property role="2Vclpz" value="103.5" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrII" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrNb" role="37mRID">
+        <property role="37mO49" value="5226663767998839940" />
+        <node concept="gqqVs" id="4y8PK53YrNa" role="37mO4d">
+          <property role="gqqTZ" value="264.0" />
+          <property role="gqqTW" value="160.0" />
+          <property role="gqqTX" value="152.0" />
+          <property role="gqqTy" value="87.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrQj" role="37mRID">
+        <property role="37mO49" value="5226663767998840149" />
+        <node concept="2VclpC" id="4y8PK53YrQi" role="37mO4d">
+          <node concept="3ul5H1" id="4y8PK53YrQk" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrQl" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrQm" role="3wpmZR">
+                <property role="2Vclpx" value="251.0" />
+                <property role="2Vclpz" value="128.0" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrQn" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2vmxSQ" id="4y8PK53YrDd" role="2vn1q5">
+      <property role="TrG5h" value="C01" />
+      <node concept="19SGf9" id="4y8PK53YrDe" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrDf" role="19SJt6">
+          <property role="19SUeA" value="The set of assumptions&#10;is fully specified." />
+        </node>
+      </node>
+    </node>
+    <node concept="2vhqFZ" id="4y8PK53YrGg" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53Yr$c" resolve="G01" />
+      <ref role="3VeSjQ" node="4y8PK53YrDd" resolve="C01" />
+      <node concept="3Ho4uE" id="4y8PK53Ys1A" role="1Wbb7D">
+        <property role="TrG5h" value="ACP_01" />
+        <ref role="3Ho4uy" node="4y8PK53YrTN" resolve="_000_confidence_for_ACP_01" />
+      </node>
+    </node>
+    <node concept="2vmhmH" id="4y8PK53YrM4" role="2vn1q5">
+      <property role="TrG5h" value="S01" />
+      <node concept="19SGf9" id="4y8PK53YrM5" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrM6" role="19SJt6">
+          <property role="19SUeA" value="Testing results with &#10;show the correct &#10;implementation&#10;of requirements." />
+        </node>
+      </node>
+    </node>
+    <node concept="3VeUTF" id="4y8PK53YrPl" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53Yr$c" resolve="G01" />
+      <ref role="3VeSjQ" node="4y8PK53YrM4" resolve="S01" />
+    </node>
+  </node>
+  <node concept="3Ho4uJ" id="4y8PK53YrTN">
+    <property role="TrG5h" value="_000_confidence_for_ACP_01" />
+    <property role="3GE5qa" value="_999_confidence" />
+    <ref role="jB0dY" node="4y8PK53Ys1A" resolve="ACP_01" />
+    <node concept="2vn7WC" id="4y8PK53YrTO" role="2vn1q5">
+      <property role="TrG5h" value="G-C.01" />
+      <node concept="19SGf9" id="4y8PK53YrTP" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrTQ" role="19SJt6">
+          <property role="19SUeA" value="All defeaters for &#10;" />
+        </node>
+        <node concept="jBRMG" id="4y8PK53YrTR" role="19SJt6">
+          <ref role="jBRFH" node="4y8PK53Ys1A" resolve="ACP_01" />
+        </node>
+        <node concept="19SUe$" id="4y8PK53YrTS" role="19SJt6">
+          <property role="19SUeA" value="&#10; have been eliminated" />
+        </node>
+      </node>
+    </node>
+    <node concept="2vmxQI" id="4y8PK53YrTT" role="2vn1q5">
+      <property role="TrG5h" value="S01" />
+      <node concept="19SGf9" id="4y8PK53YrTU" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrTV" role="19SJt6">
+          <property role="19SUeA" value="Argument on rebutting, &#10;undercutting and&#10;undermining defeaters." />
+        </node>
+      </node>
+    </node>
+    <node concept="2vn7WC" id="4y8PK53YrTW" role="2vn1q5">
+      <property role="TrG5h" value="G-C.02" />
+      <node concept="19SGf9" id="4y8PK53YrTX" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrTY" role="19SJt6">
+          <property role="19SUeA" value="All rebubtting &#10;defeaters have &#10;been eliminated." />
+        </node>
+      </node>
+    </node>
+    <node concept="2vn7WC" id="4y8PK53YrTZ" role="2vn1q5">
+      <property role="TrG5h" value="G-C.01" />
+      <node concept="19SGf9" id="4y8PK53YrU0" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrU1" role="19SJt6">
+          <property role="19SUeA" value="All undercutting &#10;defeaters have &#10;been eliminated." />
+        </node>
+      </node>
+    </node>
+    <node concept="2vn7WC" id="4y8PK53YrU2" role="2vn1q5">
+      <property role="TrG5h" value="G-C.04" />
+      <node concept="19SGf9" id="4y8PK53YrU3" role="2vnaTY">
+        <node concept="19SUe$" id="4y8PK53YrU4" role="19SJt6">
+          <property role="19SUeA" value="All undermining &#10;defeaters have &#10;been eliminated." />
+        </node>
+      </node>
+    </node>
+    <node concept="3VeUTF" id="4y8PK53YrU5" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53YrTO" resolve="G-C.01" />
+      <ref role="3VeSjQ" node="4y8PK53YrTT" resolve="S01" />
+    </node>
+    <node concept="3VeUTF" id="4y8PK53YrU6" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53YrTT" resolve="S01" />
+      <ref role="3VeSjQ" node="4y8PK53YrTW" resolve="G-C.02" />
+    </node>
+    <node concept="3VeUTF" id="4y8PK53YrU7" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53YrTT" resolve="S01" />
+      <ref role="3VeSjQ" node="4y8PK53YrTZ" resolve="G-C.01" />
+    </node>
+    <node concept="3VeUTF" id="4y8PK53YrU8" role="2vhqc$">
+      <ref role="3VeSjP" node="4y8PK53YrTT" resolve="S01" />
+      <ref role="3VeSjQ" node="4y8PK53YrU2" resolve="G-C.04" />
+    </node>
+    <node concept="37mRI7" id="4y8PK53YrVY" role="lGtFl">
+      <node concept="37mRIm" id="4y8PK53YrVZ" role="37mRID">
+        <property role="37mO49" value="5226663767998840436" />
+        <node concept="gqqVs" id="4y8PK53YrVX" role="37mO4d">
+          <property role="gqqTZ" value="35.99995" />
+          <property role="gqqTW" value="12.000100000000003" />
+          <property role="gqqTX" value="112.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrW1" role="37mRID">
+        <property role="37mO49" value="5226663767998840441" />
+        <node concept="gqqVs" id="4y8PK53YrW0" role="37mO4d">
+          <property role="gqqTZ" value="14.999949999999998" />
+          <property role="gqqTW" value="134.00029836425782" />
+          <property role="gqqTX" value="154.0" />
+          <property role="gqqTy" value="73.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrW3" role="37mRID">
+        <property role="37mO49" value="5226663767998840444" />
+        <node concept="gqqVs" id="4y8PK53YrW2" role="37mO4d">
+          <property role="gqqTZ" value="258.99995" />
+          <property role="gqqTW" value="280.0004967285156" />
+          <property role="gqqTX" value="87.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrW5" role="37mRID">
+        <property role="37mO49" value="5226663767998840447" />
+        <node concept="gqqVs" id="4y8PK53YrW4" role="37mO4d">
+          <property role="gqqTZ" value="47.99995" />
+          <property role="gqqTW" value="280.0004967285156" />
+          <property role="gqqTX" value="88.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrW7" role="37mRID">
+        <property role="37mO49" value="5226663767998840450" />
+        <node concept="gqqVs" id="4y8PK53YrW6" role="37mO4d">
+          <property role="gqqTZ" value="153.99995" />
+          <property role="gqqTW" value="280.0004967285156" />
+          <property role="gqqTX" value="87.0" />
+          <property role="gqqTy" value="69.0" />
+          <property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrW9" role="37mRID">
+        <property role="37mO49" value="5226663767998840453" />
+        <node concept="2VclpC" id="4y8PK53YrW8" role="37mO4d">
+          <node concept="3ul5H1" id="4y8PK53YrWa" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrWb" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrWc" role="3wpmZR">
+                <property role="2Vclpx" value="12.0" />
+                <property role="2Vclpz" value="99.00019836425781" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrWd" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrWf" role="37mRID">
+        <property role="37mO49" value="5226663767998840454" />
+        <node concept="2VclpC" id="4y8PK53YrWe" role="37mO4d">
+          <node concept="2VclrF" id="4y8PK53YrWg" role="2Vcluh">
+            <property role="2Vclpx" value="92.0" />
+            <property role="2Vclpz" value="225.00039672851562" />
+          </node>
+          <node concept="2VclrF" id="4y8PK53YrWh" role="2Vcluh">
+            <property role="2Vclpx" value="302.5" />
+            <property role="2Vclpz" value="225.00039672851562" />
+          </node>
+          <node concept="3ul5H1" id="4y8PK53YrWi" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrWj" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrWk" role="3wpmZR">
+                <property role="2Vclpx" value="222.5" />
+                <property role="2Vclpz" value="245.00039672851562" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrWl" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrWn" role="37mRID">
+        <property role="37mO49" value="5226663767998840455" />
+        <node concept="2VclpC" id="4y8PK53YrWm" role="37mO4d">
+          <node concept="3ul5H1" id="4y8PK53YrWo" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrWp" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrWq" role="3wpmZR">
+                <property role="2Vclpx" value="12.0" />
+                <property role="2Vclpz" value="245.00039672851562" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrWr" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37mRIm" id="4y8PK53YrWt" role="37mRID">
+        <property role="37mO49" value="5226663767998840456" />
+        <node concept="2VclpC" id="4y8PK53YrWs" role="37mO4d">
+          <node concept="2VclrF" id="4y8PK53YrWu" role="2Vcluh">
+            <property role="2Vclpx" value="92.0" />
+            <property role="2Vclpz" value="225.00039672851562" />
+          </node>
+          <node concept="2VclrF" id="4y8PK53YrWv" role="2Vcluh">
+            <property role="2Vclpx" value="197.5" />
+            <property role="2Vclpz" value="225.00039672851562" />
+          </node>
+          <node concept="3ul5H1" id="4y8PK53YrWw" role="3ul5Gx">
+            <property role="3ul5GH" value="label" />
+            <node concept="3wpmZ1" id="4y8PK53YrWx" role="3ul5Gz">
+              <node concept="2VclrF" id="4y8PK53YrWy" role="3wpmZR">
+                <property role="2Vclpx" value="117.5" />
+                <property role="2Vclpz" value="245.00039672851562" />
+              </node>
+              <node concept="2VclrF" id="4y8PK53YrWz" role="3wpmZP">
+                <property role="2Vclpx" value="0.0" />
+                <property role="2Vclpz" value="0.0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
 </model>