diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps
index d9502b0a6..0bd1a786d 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps
@@ -283,7 +283,7 @@
-
+
@@ -298,7 +298,7 @@
-
+
@@ -317,67 +317,67 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -399,11 +399,11 @@
-
+
-
+
@@ -412,7 +412,7 @@
-
+
@@ -441,11 +441,11 @@
-
+
-
+
@@ -454,7 +454,7 @@
-
+
@@ -481,10 +481,10 @@
-
+
-
+
@@ -506,39 +506,39 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -546,10 +546,10 @@
-
+
-
+
@@ -557,13 +557,13 @@
-
+
-
+
-
+
@@ -582,7 +582,7 @@
-
+
@@ -594,7 +594,7 @@
-
+
@@ -623,7 +623,7 @@
-
+
@@ -656,7 +656,7 @@
-
+
@@ -668,7 +668,7 @@
-
+
@@ -691,51 +691,51 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -746,7 +746,7 @@
-
+
@@ -755,14 +755,14 @@
-
+
-
+
-
+
@@ -773,10 +773,10 @@
-
+
-
+
@@ -786,10 +786,10 @@
-
+
-
+
@@ -803,10 +803,10 @@
-
+
-
+
@@ -816,10 +816,10 @@
-
+
-
+
@@ -829,16 +829,16 @@
-
+
-
+
-
+
-
+
@@ -903,10 +903,10 @@
-
+
-
+
@@ -914,10 +914,10 @@
-
+
-
+
@@ -932,7 +932,7 @@
-
+
@@ -940,12 +940,12 @@
-
+
-
+
@@ -983,7 +983,7 @@
-
+
@@ -994,14 +994,14 @@
-
+
-
+
-
+
@@ -1054,16 +1054,16 @@
-
+
-
+
-
+
@@ -1072,11 +1072,11 @@
-
+
-
+
@@ -1092,7 +1092,7 @@
-
+
@@ -1100,7 +1100,7 @@
-
+
@@ -1118,17 +1118,17 @@
-
+
-
+
-
+
@@ -1137,70 +1137,70 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1220,13 +1220,13 @@
-
+
-
+
@@ -1242,17 +1242,17 @@
-
+
-
+
-
+
@@ -1273,7 +1273,7 @@
-
+
@@ -1284,7 +1284,7 @@
-
+
@@ -1327,15 +1327,15 @@
-
+
-
+
-
+
@@ -1365,13 +1365,13 @@
-
+
-
+
@@ -1387,12 +1387,12 @@
-
+
-
+
@@ -1410,7 +1410,7 @@
-
+
@@ -1422,7 +1422,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps
index 3798f7c6b..b0f4f65ac 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps
@@ -180,12 +180,12 @@
-
+
-
+
@@ -200,13 +200,13 @@
-
+
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/.mps/modules.xml b/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
index 733b4b3ed..56d01a81a 100644
--- a/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
+++ b/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
@@ -38,6 +38,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn/fasten.safety.gsn.devkit b/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn/fasten.safety.gsn.devkit
index 86aa17fd8..7155662d5 100644
--- a/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn/fasten.safety.gsn.devkit
+++ b/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn/fasten.safety.gsn.devkit
@@ -8,5 +8,6 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl
new file mode 100644
index 000000000..507621948
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl
@@ -0,0 +1,87 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker)
+ b0f8641f-bd77-4421-8425-30d9088a82f7(org.apache.commons)
+ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)
+ 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps
new file mode 100644
index 000000000..6a4cbbfa6
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps
@@ -0,0 +1,218 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.constraints.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.constraints.mps
new file mode 100644
index 000000000..2ce79e853
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.constraints.mps
@@ -0,0 +1,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps
new file mode 100644
index 000000000..57b6ca187
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps
@@ -0,0 +1,374 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps
new file mode 100644
index 000000000..ea4cf3ce4
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps
@@ -0,0 +1,86 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.typesystem.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.typesystem.mps
new file mode 100644
index 000000000..dac0dd4e9
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.typesystem.mps
@@ -0,0 +1,11 @@
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps
new file mode 100644
index 000000000..ed5325901
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps
@@ -0,0 +1,1233 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
index af07ea7d7..a31921c85 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
@@ -3797,6 +3797,11 @@
+
+
+
+
+
@@ -12429,6 +12434,11 @@
+
+
+
+
+
@@ -12489,25 +12499,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12937,16 +12928,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -13000,5 +12981,15 @@
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps
index 4bd79571c..4bbfb5dd7 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps
@@ -4599,6 +4599,81 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6082,6 +6157,9 @@
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.process.review.sandbox/com.fasten.process.review.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.process.review.sandbox/com.fasten.process.review.sandbox.msd
index 1d054363b..cae88aef9 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.process.review.sandbox/com.fasten.process.review.sandbox.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.process.review.sandbox/com.fasten.process.review.sandbox.msd
@@ -19,6 +19,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps
index 0ec7df546..a5c8df12e 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps
@@ -305,23 +305,23 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.sandbox/com.mbeddr.formal.safety.argument.runtime.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.sandbox/com.mbeddr.formal.safety.argument.runtime.sandbox.msd
index e0962f836..9570660b0 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.sandbox/com.mbeddr.formal.safety.argument.runtime.sandbox.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.sandbox/com.mbeddr.formal.safety.argument.runtime.sandbox.msd
@@ -19,6 +19,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
index e76cafea6..1c4ec39ad 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
@@ -9784,6 +9784,86 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12204,6 +12284,9 @@
+
+
+
@@ -15672,6 +15755,11 @@
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.cae.sandbox/com.mbeddr.formal.safety.cae.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.cae.sandbox/com.mbeddr.formal.safety.cae.sandbox.msd
index 08db1effd..22b4f729a 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.cae.sandbox/com.mbeddr.formal.safety.cae.sandbox.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.cae.sandbox/com.mbeddr.formal.safety.cae.sandbox.msd
@@ -22,6 +22,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/com.mbeddr.formal.safety.gsn.patterns.lib.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/com.mbeddr.formal.safety.gsn.patterns.lib.msd
index b568897b9..4f1907c5e 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/com.mbeddr.formal.safety.gsn.patterns.lib.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/com.mbeddr.formal.safety.gsn.patterns.lib.msd
@@ -31,6 +31,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd
index 4427d9bf7..d7c204bcb 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd
@@ -54,6 +54,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.sandbox/com.mbeddr.formal.safety.gsn.web.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.sandbox/com.mbeddr.formal.safety.gsn.web.sandbox.msd
index e19241dcc..25706ae6d 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.sandbox/com.mbeddr.formal.safety.gsn.web.sandbox.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.sandbox/com.mbeddr.formal.safety.gsn.web.sandbox.msd
@@ -18,6 +18,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd
index 5ccbeeded..32510dd67 100644
--- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd
+++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd
@@ -36,6 +36,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/test.com.fasten.safety.ft.msd b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/test.com.fasten.safety.ft.msd
index 6d712f5a1..3884ed204 100644
--- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/test.com.fasten.safety.ft.msd
+++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/test.com.fasten.safety.ft.msd
@@ -36,6 +36,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd
index ab6204d9f..10c8048ba 100644
--- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd
+++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd
@@ -32,6 +32,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps
new file mode 100644
index 000000000..2d897ac53
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps
@@ -0,0 +1,236 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd
index 2a1f10c9c..6fd5e512e 100644
--- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd
+++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd
@@ -32,6 +32,7 @@
ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)
5e7ffa70-8e23-49f4-8c13-a887bba14c36(com.mbeddr.formal.safety.gsn.external_evidence)
d2864642-8e1f-4dd8-b3a6-71f0d9d33ae8(com.mbeddr.formal.safety.gsn.confidence.dempster_shafer)
+ a7775cc7-19db-41cf-a724-3212ac4437b9(com.mbeddr.formal.safety.gsn.importer)
@@ -57,6 +58,7 @@
+
@@ -102,6 +104,7 @@
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
index 7e0d18382..0c9a3fcd5 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
@@ -17,7 +17,9 @@
+
+
@@ -27,6 +29,7 @@
+
@@ -59,12 +62,15 @@
+
+
+
@@ -77,7 +83,7 @@
-
+
@@ -86,6 +92,7 @@
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/goal_structure_csv_format_demo.csv b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/goal_structure_csv_format_demo.csv
new file mode 100644
index 000000000..0b128ecbe
--- /dev/null
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/goal_structure_csv_format_demo.csv
@@ -0,0 +1,19 @@
+Claim;C0;Our autonomous driver is safe enough to deploy.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Argument;A0;;We've achieved positive trust balance.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C1;;;Our organization is trustworthy.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C2;;;;Our suppliers are trustworthy;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Argument;A1;;;;We have a track record of a strong safety culture, management, and processes;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C4;;;;;We do not deploy the system before demonstrating that it is ""safe enough"";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Argument;A4;;;;;;Our SMS follows international standards.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C14;;;;;;;We established and implement a safety plan.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C44;;;;;;;;Independent assessors review whether safety plan satisfies this claim.;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Evidence;E1;;;;;;;;;Review of System Safety Program Plan;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C15;;;;;;;We established and implement Safety Risk Managment processes.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C45;;;;;;;;Independent assessors review whether Safety Risk Managment satisfies this claim.;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Evidence;E2;;;;;;;;;Review of System Safety Program Plan;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C16;;;;;;;We established and implement Safety Assessment processes.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C46;;;;;;;;Independent assessors review whether Safety Assessment satisfies this claim.;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Evidence;E3;;;;;;;;;Review of Safety Assessment process;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C17;;;;;;;We established and implement Safety Program Plan.;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Claim;C47;;;;;;;;Independent assessors review whether Safety Program Plan satisfy this claim.;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+Evidence;E4;;;;;;;;;Review of System Safety Program Plan;;;;;;;;;;;;;;;;;;;;;;;;;;;
\ No newline at end of file
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps
index bac854197..81ca56d98 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps
@@ -567,24 +567,24 @@
-
+
-
+
-
+
-
+
@@ -609,12 +609,12 @@
-
+
-
+
@@ -624,13 +624,13 @@
-
+
-
+
@@ -661,7 +661,7 @@
-
+
@@ -718,7 +718,7 @@
-
+
@@ -735,47 +735,47 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -809,12 +809,12 @@
-
+
-
+
-
+
@@ -842,7 +842,7 @@
-
+
@@ -880,7 +880,7 @@
-
+
@@ -912,12 +912,12 @@
-
+
-
+
-
+
@@ -945,24 +945,24 @@
-
+
-
+
-
+
-
+
@@ -987,12 +987,12 @@
-
+
-
+
@@ -1002,13 +1002,13 @@
-
+
-
+
@@ -1035,7 +1035,7 @@
-
+
@@ -1062,88 +1062,88 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1151,13 +1151,13 @@
-
+
-
+
@@ -1264,7 +1264,7 @@
-
+
@@ -1280,20 +1280,20 @@
-
+
-
+
-
+
-
+
@@ -1303,7 +1303,7 @@
-
+
@@ -1321,32 +1321,32 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1362,7 +1362,7 @@
-
+
@@ -1372,12 +1372,12 @@
-
+
-
+
-
+
@@ -1396,51 +1396,51 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1461,7 +1461,7 @@
-
+
@@ -1477,7 +1477,7 @@
-
+
@@ -1498,7 +1498,7 @@
-
+
@@ -1509,7 +1509,7 @@
-
+
@@ -1522,7 +1522,7 @@
-
+
@@ -1575,7 +1575,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis.mps
index d46965c19..1f48ea3cd 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis.mps
@@ -323,8 +323,8 @@
-
-
+
+
@@ -366,15 +366,15 @@
-
-
+
+
-
-
+
+
@@ -512,8 +512,8 @@
-
-
+
+
@@ -530,8 +530,8 @@
-
-
+
+
@@ -544,11 +544,11 @@
-
+
-
+
-
+
@@ -560,7 +560,7 @@
-
+
@@ -575,7 +575,7 @@
-
+
@@ -587,7 +587,7 @@
-
+
@@ -599,7 +599,7 @@
-
+
@@ -615,9 +615,9 @@
-
+
-
+
@@ -629,7 +629,7 @@
-
+
@@ -637,10 +637,10 @@
-
+
-
+
@@ -652,7 +652,7 @@
-
+
@@ -664,7 +664,7 @@
-
+
@@ -679,7 +679,7 @@
-
+
@@ -694,7 +694,7 @@
-
+
@@ -709,7 +709,7 @@
-
+
@@ -734,50 +734,50 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._030_safety_requirements.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._030_safety_requirements.mps
index af9ed657b..39ebfb735 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._030_safety_requirements.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._030_safety_requirements.mps
@@ -53,7 +53,7 @@
-
+
@@ -68,7 +68,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps
index ec45581f1..a3c16bfed 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps
@@ -232,7 +232,7 @@
-
+
@@ -243,13 +243,13 @@
-
+
-
+
@@ -259,7 +259,7 @@
-
+
@@ -269,46 +269,46 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -724,28 +724,28 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -769,64 +769,64 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -956,13 +956,13 @@
-
+
-
+
@@ -972,13 +972,13 @@
-
+
-
+
@@ -991,7 +991,7 @@
-
+
@@ -1017,7 +1017,7 @@
-
+
@@ -1033,7 +1033,7 @@
-
+
@@ -1086,55 +1086,55 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1157,7 +1157,7 @@
-
+
@@ -1169,7 +1169,7 @@
-
+
@@ -1181,12 +1181,12 @@
-
+
-
+
@@ -1202,29 +1202,29 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1238,36 +1238,36 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1417,18 +1417,18 @@
-
+
-
+
-
+
-
+
-
+
@@ -1442,8 +1442,8 @@
-
-
+
+
@@ -1509,24 +1509,24 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps
index ffe328be5..dd18ce326 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps
@@ -610,8 +610,8 @@
-
-
+
+
@@ -623,8 +623,8 @@
-
-
+
+
@@ -638,8 +638,8 @@
-
-
+
+
@@ -653,8 +653,8 @@
-
-
+
+
@@ -668,8 +668,8 @@
-
-
+
+
@@ -680,8 +680,8 @@
-
-
+
+
@@ -695,8 +695,8 @@
-
-
+
+
@@ -973,8 +973,8 @@
-
-
+
+
@@ -1108,16 +1108,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1125,8 +1125,8 @@
-
-
+
+
@@ -1177,20 +1177,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1451,26 +1451,26 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1485,8 +1485,8 @@
-
-
+
+
@@ -1497,8 +1497,8 @@
-
-
+
+
@@ -1515,8 +1515,8 @@
-
-
+
+
@@ -1602,8 +1602,8 @@
-
-
+
+
@@ -1750,8 +1750,8 @@
-
-
+
+
@@ -1869,11 +1869,11 @@
-
-
+
+
-
+
@@ -1885,14 +1885,14 @@
-
-
+
+
-
+
@@ -1900,7 +1900,7 @@
-
+
@@ -1940,20 +1940,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2455,16 +2455,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2475,8 +2475,8 @@
-
-
+
+
@@ -2487,20 +2487,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -3008,8 +3008,8 @@
-
-
+
+
@@ -3062,8 +3062,8 @@
-
-
+
+
@@ -3331,12 +3331,12 @@
-
-
+
+
-
-
+
+
@@ -3357,16 +3357,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -3381,12 +3381,12 @@
-
-
+
+
-
-
+
+
@@ -3911,15 +3911,15 @@
-
+
-
-
+
+
@@ -3937,15 +3937,15 @@
-
+
-
-
+
+
@@ -3986,12 +3986,12 @@
-
-
+
+
-
-
+
+
@@ -4009,21 +4009,21 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -4033,21 +4033,21 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc.mps
index 01fac1c0c..84d42f141 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc.mps
@@ -1170,8 +1170,8 @@
-
-
+
+
@@ -1181,7 +1181,7 @@
-
+
@@ -1189,8 +1189,8 @@
-
-
+
+
@@ -1199,7 +1199,7 @@
-
+
@@ -1210,8 +1210,8 @@
-
-
+
+
@@ -1225,8 +1225,8 @@
-
-
+
+
@@ -1240,8 +1240,8 @@
-
-
+
+
@@ -1252,8 +1252,8 @@
-
-
+
+
@@ -1267,8 +1267,8 @@
-
-
+
+
@@ -1277,7 +1277,7 @@
-
+
@@ -1293,12 +1293,12 @@
-
-
+
+
-
-
+
+
@@ -1317,19 +1317,19 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1338,7 +1338,7 @@
-
+
@@ -1359,7 +1359,7 @@
-
+
@@ -1373,7 +1373,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_csv.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_csv.mps
new file mode 100644
index 000000000..1658b9e74
--- /dev/null
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_csv.mps
@@ -0,0 +1,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae.mps
index 9df9db995..3deee789b 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae.mps
@@ -954,32 +954,32 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1280,7 +1280,7 @@
-
+
@@ -1289,7 +1289,7 @@
-
+
@@ -1297,12 +1297,12 @@
-
-
+
+
-
+
@@ -1391,32 +1391,32 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1655,8 +1655,8 @@
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn.mps
index d73f8c398..9cd994665 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn.mps
@@ -461,20 +461,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -485,12 +485,12 @@
-
-
+
+
-
-
+
+
@@ -501,8 +501,8 @@
-
-
+
+
@@ -513,15 +513,15 @@
-
-
+
+
-
+
@@ -594,32 +594,32 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -900,8 +900,8 @@
-
-
+
+
@@ -1044,12 +1044,12 @@
-
-
+
+
-
-
+
+
@@ -1061,8 +1061,8 @@
-
-
+
+
@@ -1131,7 +1131,7 @@
-
+
@@ -1223,12 +1223,12 @@
-
-
+
+
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models.mps
index 65beb96e6..fff2eb75e 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models.mps
@@ -124,7 +124,7 @@
-
+
@@ -213,12 +213,12 @@
-
+
-
-
+
+
@@ -228,7 +228,7 @@
-
+
@@ -239,16 +239,16 @@
-
+
-
-
+
+
-
-
+
+
@@ -258,12 +258,12 @@
-
+
-
-
+
+
@@ -272,17 +272,17 @@
-
+
-
+
-
+
@@ -291,7 +291,7 @@
-
+
@@ -316,21 +316,21 @@
-
+
-
+
-
+
@@ -339,7 +339,7 @@
-
+
@@ -352,14 +352,14 @@
-
+
-
+
@@ -368,7 +368,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps
index aa6bef076..c4bfb1043 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps
@@ -4502,7 +4502,7 @@
-
+
@@ -4523,8 +4523,8 @@
-
-
+
+
@@ -4540,8 +4540,8 @@
-
-
+
+
@@ -4550,7 +4550,7 @@
-
+
@@ -4564,7 +4564,7 @@
-
+
@@ -4572,8 +4572,8 @@
-
-
+
+
@@ -4582,7 +4582,7 @@
-
+
@@ -4590,8 +4590,8 @@
-
-
+
+
@@ -4600,7 +4600,7 @@
-
+
@@ -4608,8 +4608,8 @@
-
-
+
+
@@ -4618,7 +4618,7 @@
-
+
@@ -4626,12 +4626,12 @@
-
-
+
+
-
-
+
+
@@ -4641,7 +4641,7 @@
-
+
@@ -4649,8 +4649,8 @@
-
-
+
+
@@ -4661,7 +4661,7 @@
-
+
@@ -4670,7 +4670,7 @@
-
+
@@ -4679,7 +4679,7 @@
-
+
@@ -4688,7 +4688,7 @@
-
+
@@ -4748,7 +4748,7 @@
-
+
@@ -7578,7 +7578,7 @@
-
+
@@ -7587,16 +7587,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -7606,7 +7606,7 @@
-
+
@@ -7620,7 +7620,7 @@
-
+
@@ -7629,8 +7629,8 @@
-
-
+
+
@@ -7673,20 +7673,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -7701,8 +7701,8 @@
-
-
+
+
@@ -7712,7 +7712,7 @@
-
+
@@ -7730,12 +7730,12 @@
-
-
+
+
-
-
+
+
@@ -7760,10 +7760,10 @@
-
+
-
+
@@ -7793,10 +7793,10 @@
-
+
-
+
@@ -7804,16 +7804,16 @@
-
+
-
+
-
+
@@ -7877,7 +7877,7 @@
-
+
@@ -7887,15 +7887,15 @@
-
+
-
+
-
+
@@ -7904,11 +7904,11 @@
-
+
-
+
@@ -7928,14 +7928,14 @@
-
+
-
+
@@ -7950,12 +7950,12 @@
-
+
-
+
@@ -7965,12 +7965,12 @@
-
+
-
+
@@ -8017,7 +8017,7 @@
-
+
@@ -8028,10 +8028,10 @@
-
+
-
+
@@ -8041,18 +8041,18 @@
-
+
-
+
-
+
-
+
@@ -8073,25 +8073,25 @@
-
+
-
+
-
+
-
+
-
+
@@ -8106,119 +8106,119 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -8249,23 +8249,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -8274,11 +8274,11 @@
-
+
-
+
@@ -8291,11 +8291,11 @@
-
+
-
+
@@ -8310,11 +8310,11 @@
-
+
-
+
@@ -8498,7 +8498,7 @@
-
+
@@ -8531,7 +8531,7 @@
-
+
@@ -8544,13 +8544,13 @@
-
+
-
+
@@ -8584,45 +8584,45 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -8632,7 +8632,7 @@
-
+
@@ -8644,21 +8644,21 @@
-
+
-
+
-
+
-
+
@@ -8672,10 +8672,10 @@
-
+
-
+
@@ -8699,7 +8699,7 @@
-
+
@@ -8712,13 +8712,13 @@
-
+
-
+
@@ -8726,18 +8726,18 @@
-
+
-
+
-
+
-
+
@@ -8745,7 +8745,7 @@
-
+
@@ -8764,10 +8764,10 @@
-
+
-
+
@@ -8788,7 +8788,7 @@
-
+
@@ -8840,10 +8840,10 @@
-
+
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps
index 3871f89f3..095bd9c1e 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps
@@ -567,7 +567,7 @@
-
+
@@ -590,7 +590,7 @@
-
+
@@ -600,64 +600,64 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -678,19 +678,19 @@
-
+
-
+
-
+
@@ -766,7 +766,7 @@
-
+
@@ -774,7 +774,7 @@
-
+
@@ -783,7 +783,7 @@
-
+
@@ -794,10 +794,10 @@
-
+
-
+
@@ -816,7 +816,7 @@
-
+
@@ -827,7 +827,7 @@
-
+
@@ -842,7 +842,7 @@
-
+
@@ -853,7 +853,7 @@
-
+
@@ -869,10 +869,10 @@
-
+
-
+
@@ -890,17 +890,17 @@
-
+
-
+
-
+
@@ -912,7 +912,7 @@
-
+
@@ -932,19 +932,19 @@
-
+
-
+
-
+
@@ -1050,7 +1050,7 @@
-
+
@@ -1058,7 +1058,7 @@
-
+
@@ -1067,7 +1067,7 @@
-
+
@@ -1078,10 +1078,10 @@
-
+
-
+
@@ -1100,7 +1100,7 @@
-
+
@@ -1111,7 +1111,7 @@
-
+
@@ -1126,7 +1126,7 @@
-
+
@@ -1137,7 +1137,7 @@
-
+
@@ -1154,17 +1154,17 @@
-
+
-
+
-
+
@@ -1178,10 +1178,10 @@
-
+
-
+
@@ -1204,16 +1204,16 @@
-
+
-
+
-
+
@@ -1225,14 +1225,14 @@
-
+
-
+
-
+
@@ -1250,10 +1250,10 @@
-
+
-
+
@@ -1271,17 +1271,17 @@
-
+
-
+
-
+
@@ -1289,10 +1289,10 @@
-
+
-
+
@@ -1339,14 +1339,14 @@
-
+
-
+
@@ -1406,19 +1406,19 @@
-
+
-
+
-
+
@@ -1470,7 +1470,7 @@
-
+
@@ -1481,7 +1481,7 @@
-
+
@@ -1496,7 +1496,7 @@
-
+
@@ -1507,7 +1507,7 @@
-
+
@@ -1524,18 +1524,18 @@
-
+
-
+
-
+
@@ -1546,26 +1546,26 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1576,15 +1576,15 @@
-
+
-
+
-
+
-
+
@@ -1595,161 +1595,161 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2361,170 +2361,170 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2971,13 +2971,13 @@
-
+
-
+
@@ -2994,30 +2994,30 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -3028,19 +3028,19 @@
-
+
-
+
-
+
-
+
@@ -3049,7 +3049,7 @@
-
+
@@ -3060,10 +3060,10 @@
-
+
-
+
@@ -3073,20 +3073,20 @@
-
+
-
+
-
+
-
+
@@ -3097,22 +3097,22 @@
-
+
-
+
-
+
-
+
-
+
@@ -3129,13 +3129,13 @@
-
+
-
+
-
+
@@ -3145,24 +3145,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -3172,11 +3172,11 @@
-
+
-
+
@@ -3185,13 +3185,13 @@
-
+
-
+
-
+
@@ -3201,11 +3201,11 @@
-
+
-
+
@@ -3214,13 +3214,13 @@
-
+
-
+
-
+
@@ -3230,11 +3230,11 @@
-
+
-
+
@@ -3244,10 +3244,10 @@
-
+
-
+
@@ -3259,10 +3259,10 @@
-
+
-
+
@@ -3272,10 +3272,10 @@
-
+
-
+
@@ -3285,10 +3285,10 @@
-
+
-
+
@@ -3298,10 +3298,10 @@
-
+
-
+
@@ -3311,10 +3311,10 @@
-
+
-
+
@@ -3324,10 +3324,10 @@
-
+
-
+
@@ -3337,12 +3337,12 @@
-
+
-
+
@@ -3350,7 +3350,7 @@
-
+
@@ -3361,7 +3361,7 @@
-
+
@@ -3372,7 +3372,7 @@
-
+
@@ -3383,7 +3383,7 @@
-
+
@@ -3394,7 +3394,7 @@
-
+
@@ -3405,12 +3405,12 @@
-
+
-
+
@@ -3418,7 +3418,7 @@
-
+
@@ -3430,12 +3430,12 @@
-
+
-
+
@@ -3443,7 +3443,7 @@
-
+
@@ -4024,12 +4024,12 @@
-
+
-
+
@@ -4094,30 +4094,30 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -4128,19 +4128,19 @@
-
+
-
+
-
+
-
+
@@ -4149,7 +4149,7 @@
-
+
@@ -4160,14 +4160,14 @@
-
+
-
+
-
+
@@ -4176,17 +4176,17 @@
-
+
-
+
-
+
@@ -4197,19 +4197,19 @@
-
+
-
+
-
+
-
+
@@ -4218,7 +4218,7 @@
-
+
@@ -4229,16 +4229,16 @@
-
+
-
+
-
+
-
+
@@ -4249,23 +4249,23 @@
-
+
-
+
-
+
-
+
-
+
@@ -4276,16 +4276,16 @@
-
+
-
+
-
+
-
+
@@ -4297,20 +4297,20 @@
-
+
-
+
-
+
-
+
@@ -4320,10 +4320,10 @@
-
+
-
+
@@ -4333,10 +4333,10 @@
-
+
-
+
@@ -4346,10 +4346,10 @@
-
+
-
+
@@ -4359,10 +4359,10 @@
-
+
-
+
@@ -4372,13 +4372,13 @@
-
+
-
+
@@ -4386,7 +4386,7 @@
-
+
@@ -4397,7 +4397,7 @@
-
+
@@ -4408,7 +4408,7 @@
-
+
@@ -4419,7 +4419,7 @@
-
+
@@ -4430,7 +4430,7 @@
-
+
@@ -4441,13 +4441,13 @@
-
+
-
+
@@ -4455,7 +4455,7 @@
-
+
@@ -4466,7 +4466,7 @@
-
+
@@ -4774,13 +4774,13 @@
-
+
-
+
@@ -4789,12 +4789,12 @@
-
+
-
+
@@ -5315,15 +5315,15 @@
-
-
+
+
-
-
+
+
@@ -5332,8 +5332,8 @@
-
-
+
+
@@ -6914,8 +6914,8 @@
-
-
+
+
@@ -6939,15 +6939,15 @@
-
-
+
+
-
-
+
+
@@ -6967,8 +6967,8 @@
-
-
+
+
@@ -6982,8 +6982,8 @@
-
-
+
+
@@ -7003,8 +7003,8 @@
-
-
+
+
@@ -7021,8 +7021,8 @@
-
-
+
+
@@ -7047,11 +7047,11 @@
-
+
-
+
-
+
@@ -7060,20 +7060,20 @@
-
+
-
+
-
+
@@ -7088,7 +7088,7 @@
-
+
@@ -7097,7 +7097,7 @@
-
+
@@ -7117,9 +7117,9 @@
-
+
-
+
@@ -7128,7 +7128,7 @@
-
+
@@ -7142,7 +7142,7 @@
-
+
@@ -7158,7 +7158,7 @@
-
+
@@ -7173,7 +7173,7 @@
-
+
@@ -7887,7 +7887,7 @@
-
+
@@ -7942,7 +7942,7 @@
-
+
@@ -7958,28 +7958,28 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -8655,13 +8655,13 @@
-
+
-
+
@@ -8674,7 +8674,7 @@
-
+
@@ -8682,8 +8682,8 @@
-
-
+
+
@@ -8693,7 +8693,7 @@
-
+
@@ -8701,8 +8701,8 @@
-
-
+
+
@@ -8712,7 +8712,7 @@
-
+
@@ -8720,8 +8720,8 @@
-
-
+
+
@@ -8731,13 +8731,13 @@
-
+
-
+
@@ -8745,16 +8745,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -8775,7 +8775,7 @@
-
+
@@ -8804,7 +8804,7 @@
-
+
@@ -8820,20 +8820,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -9022,8 +9022,8 @@
-
-
+
+
@@ -9067,13 +9067,13 @@
-
+
-
+
-
+
@@ -9084,13 +9084,13 @@
-
+
-
+
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps
index 31876e96e..4bb088ae7 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps
@@ -596,199 +596,199 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -797,8 +797,8 @@
-
-
+
+
@@ -1489,8 +1489,8 @@
-
-
+
+
@@ -1499,8 +1499,8 @@
-
-
+
+
@@ -1509,8 +1509,8 @@
-
-
+
+
@@ -1519,22 +1519,22 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -1543,8 +1543,8 @@
-
-
+
+
@@ -1553,15 +1553,15 @@
-
-
+
+
-
-
+
+
@@ -1570,8 +1570,8 @@
-
-
+
+
@@ -1583,8 +1583,8 @@
-
-
+
+
@@ -1593,15 +1593,15 @@
-
-
+
+
-
-
+
+
@@ -1610,8 +1610,8 @@
-
-
+
+
@@ -1620,8 +1620,8 @@
-
-
+
+
@@ -1630,8 +1630,8 @@
-
-
+
+
@@ -1640,11 +1640,11 @@
-
+
-
+
-
+
@@ -1653,7 +1653,7 @@
-
+
@@ -1667,7 +1667,7 @@
-
+
@@ -1681,11 +1681,11 @@
-
+
-
+
@@ -1697,9 +1697,9 @@
-
+
-
+
@@ -1708,13 +1708,13 @@
-
+
-
+
@@ -1728,11 +1728,11 @@
-
+
-
+
@@ -1746,7 +1746,7 @@
-
+
@@ -1758,9 +1758,9 @@
-
+
-
+
@@ -1769,7 +1769,7 @@
-
+
@@ -1783,11 +1783,11 @@
-
+
-
+
@@ -1801,11 +1801,11 @@
-
+
-
+
@@ -1819,9 +1819,9 @@
-
+
-
+
@@ -1830,7 +1830,7 @@
-
+
@@ -1844,11 +1844,11 @@
-
+
-
+
@@ -1862,11 +1862,11 @@
-
+
-
+
@@ -1880,11 +1880,11 @@
-
+
-
+
@@ -1893,9 +1893,9 @@
-
+
-
+
@@ -1904,11 +1904,11 @@
-
+
-
+
@@ -1922,11 +1922,11 @@
-
+
-
+
@@ -1942,7 +1942,7 @@
-
+
@@ -1954,9 +1954,9 @@
-
+
-
+
@@ -1965,7 +1965,7 @@
-
+
@@ -1979,11 +1979,11 @@
-
+
-
+
@@ -1997,15 +1997,15 @@
-
+
-
+
-
+
@@ -2017,9 +2017,9 @@
-
+
-
+
@@ -2028,11 +2028,11 @@
-
+
-
+
@@ -2046,11 +2046,11 @@
-
+
-
+
@@ -2066,15 +2066,15 @@
-
+
-
+
-
+
@@ -2088,11 +2088,11 @@
-
+
-
+
@@ -2102,7 +2102,7 @@
-
+
@@ -2111,23 +2111,23 @@
-
+
-
+
-
+
-
+
-
+
@@ -2141,23 +2141,23 @@
-
+
-
+
-
+
-
+
-
+
@@ -2173,15 +2173,15 @@
-
+
-
+
-
+
@@ -2195,15 +2195,15 @@
-
+
-
+
-
+
@@ -2211,7 +2211,7 @@
-
+
@@ -2223,15 +2223,15 @@
-
+
-
+
-
+
@@ -2245,11 +2245,11 @@
-
+
-
+
@@ -2265,11 +2265,11 @@
-
+
-
+
@@ -2295,22 +2295,22 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2689,8 +2689,8 @@
-
-
+
+
@@ -2699,8 +2699,8 @@
-
-
+
+
@@ -2709,8 +2709,8 @@
-
-
+
+
@@ -2719,8 +2719,8 @@
-
-
+
+
@@ -2729,8 +2729,8 @@
-
-
+
+
@@ -2739,8 +2739,8 @@
-
-
+
+
@@ -2749,11 +2749,11 @@
-
+
-
+
-
+
@@ -2762,7 +2762,7 @@
-
+
@@ -2776,7 +2776,7 @@
-
+
@@ -2792,7 +2792,7 @@
-
+
@@ -2806,13 +2806,13 @@
-
+
-
+
@@ -2821,9 +2821,9 @@
-
+
-
+
@@ -2832,7 +2832,7 @@
-
+
@@ -2846,7 +2846,7 @@
-
+
@@ -2860,7 +2860,7 @@
-
+
@@ -2872,9 +2872,9 @@
-
+
-
+
@@ -2886,13 +2886,13 @@
-
+
-
+
@@ -2907,9 +2907,9 @@
-
+
-
+
@@ -2918,7 +2918,7 @@
-
+
@@ -2936,9 +2936,9 @@
-
+
-
+
@@ -2954,9 +2954,9 @@
-
+
-
+
@@ -2972,9 +2972,9 @@
-
+
-
+
@@ -2983,7 +2983,7 @@
-
+
@@ -2997,7 +2997,7 @@
-
+
@@ -3011,7 +3011,7 @@
-
+
@@ -3025,17 +3025,17 @@
-
+
-
+
-
+
@@ -3044,9 +3044,9 @@
-
+
-
+
@@ -3055,7 +3055,7 @@
-
+
@@ -3069,7 +3069,7 @@
-
+
@@ -3083,7 +3083,7 @@
-
+
@@ -3097,17 +3097,17 @@
-
+
-
+
-
+
@@ -3135,7 +3135,7 @@
-
+
@@ -3158,13 +3158,13 @@
-
+
-
+
-
+
@@ -3187,10 +3187,10 @@
-
+
-
+
@@ -3213,7 +3213,7 @@
-
+
@@ -3240,19 +3240,19 @@
-
+
-
+
-
+
-
+
-
+
@@ -3280,22 +3280,22 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -3323,7 +3323,7 @@
-
+
@@ -3351,7 +3351,7 @@
-
+
@@ -3379,10 +3379,10 @@
-
+
-
+
@@ -3553,20 +3553,20 @@
-
+
-
+
-
+
-
+
@@ -3582,7 +3582,7 @@
-
+
@@ -3590,10 +3590,10 @@
-
+
-
+
@@ -3610,13 +3610,13 @@
-
+
-
+
@@ -3625,14 +3625,14 @@
-
+
-
+
@@ -3648,20 +3648,20 @@
-
+
-
+
-
+
-
+
@@ -3677,20 +3677,20 @@
-
+
-
+
-
+
-
+
@@ -3707,7 +3707,7 @@
-
+
@@ -3715,7 +3715,7 @@
-
+
@@ -3724,10 +3724,10 @@
-
+
-
+
@@ -3744,21 +3744,21 @@
-
+
-
+
-
+
-
+
@@ -3774,10 +3774,10 @@
-
+
-
+
@@ -3785,13 +3785,13 @@
-
+
-
+
@@ -3810,15 +3810,15 @@
-
+
-
+
-
+
@@ -3827,10 +3827,10 @@
-
+
-
+
@@ -3841,19 +3841,19 @@
-
+
-
+
-
+
@@ -3867,7 +3867,7 @@
-
+
@@ -3885,7 +3885,7 @@
-
+
@@ -3895,7 +3895,7 @@
-
+
@@ -3918,13 +3918,13 @@
-
+
-
+
@@ -3935,7 +3935,7 @@
-
+
@@ -3953,7 +3953,7 @@
-
+
@@ -3963,7 +3963,7 @@
-
+
@@ -3974,7 +3974,7 @@
-
+
@@ -3983,7 +3983,7 @@
-
+
@@ -4001,7 +4001,7 @@
-
+
@@ -4010,7 +4010,7 @@
-
+
@@ -4026,10 +4026,10 @@
-
+
-
+
@@ -4076,11 +4076,11 @@
-
+
-
+
@@ -4111,7 +4111,7 @@
-
+
@@ -4121,7 +4121,7 @@
-
+
@@ -4142,7 +4142,7 @@
-
+
@@ -4986,170 +4986,170 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5160,13 +5160,13 @@
-
+
-
+
@@ -5175,84 +5175,84 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5265,115 +5265,115 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5390,12 +5390,12 @@
-
+
-
+
@@ -5403,10 +5403,10 @@
-
+
-
+
@@ -5424,20 +5424,20 @@
-
+
-
+
-
+
-
+
@@ -5446,7 +5446,7 @@
-
+
@@ -5470,19 +5470,19 @@
-
+
-
+
-
+
@@ -5512,7 +5512,7 @@
-
+
@@ -5535,7 +5535,7 @@
-
+
@@ -5558,7 +5558,7 @@
-
+
@@ -5585,7 +5585,7 @@
-
+
@@ -5616,7 +5616,7 @@
-
+
@@ -5641,7 +5641,7 @@
-
+
@@ -5669,7 +5669,7 @@
-
+
@@ -5697,10 +5697,10 @@
-
+
-
+
@@ -5728,10 +5728,10 @@
-
+
-
+
@@ -5864,19 +5864,19 @@
-
+
-
+
-
+
-
+
@@ -5890,10 +5890,10 @@
-
+
-
+
@@ -5902,10 +5902,10 @@
-
+
-
+
@@ -5925,25 +5925,25 @@
-
+
-
+
-
+
-
+
-
+
@@ -5958,21 +5958,21 @@
-
+
-
+
-
+
-
+
@@ -6004,10 +6004,10 @@
-
+
-
+
@@ -6021,13 +6021,13 @@
-
+
-
+
@@ -6041,10 +6041,10 @@
-
+
-
+
@@ -6055,17 +6055,17 @@
-
+
-
+
-
+
@@ -6082,10 +6082,10 @@
-
+
-
+
@@ -6103,7 +6103,7 @@
-
+
@@ -6114,10 +6114,10 @@
-
+
-
+
@@ -6141,17 +6141,17 @@
-
+
-
+
-
+
-
+
@@ -6164,10 +6164,10 @@
-
+
-
+
@@ -6191,10 +6191,10 @@
-
+
-
+
@@ -6204,7 +6204,7 @@
-
+
@@ -6215,10 +6215,10 @@
-
+
-
+
@@ -7090,16 +7090,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -7110,8 +7110,8 @@
-
-
+
+
@@ -7150,12 +7150,12 @@
-
-
+
+
-
-
+
+
@@ -7198,16 +7198,16 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -7967,24 +7967,24 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -7995,12 +7995,12 @@
-
-
+
+
-
-
+
+
@@ -8063,48 +8063,48 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps
index 6293d49c5..e58698bbb 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps
@@ -674,23 +674,23 @@
-
+
-
+
-
+
-
+
-
+
@@ -710,7 +710,7 @@
-
+
@@ -736,7 +736,7 @@
-
+
@@ -779,7 +779,7 @@
-
+
@@ -799,7 +799,7 @@
-
+
@@ -812,7 +812,7 @@
-
+
@@ -822,9 +822,9 @@
-
+
-
+
@@ -837,7 +837,7 @@
-
+
@@ -850,7 +850,7 @@
-
+
@@ -859,7 +859,7 @@
-
+
@@ -881,7 +881,7 @@
-
+
@@ -911,9 +911,9 @@
-
+
-
+
@@ -935,7 +935,7 @@
-
+
@@ -971,7 +971,7 @@
-
+
@@ -1001,7 +1001,7 @@
-
+
@@ -1011,9 +1011,9 @@
-
+
-
+
@@ -1023,7 +1023,7 @@
-
+
@@ -1036,7 +1036,7 @@
-
+
@@ -1049,7 +1049,7 @@
-
+
@@ -1059,9 +1059,9 @@
-
+
-
+
@@ -1071,7 +1071,7 @@
-
+
@@ -1087,7 +1087,7 @@
-
+
@@ -1100,7 +1100,7 @@
-
+
@@ -1126,7 +1126,7 @@
-
+
@@ -2135,15 +2135,15 @@
-
-
+
+
-
-
+
+
@@ -2152,8 +2152,8 @@
-
-
+
+
@@ -2162,22 +2162,22 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2186,22 +2186,22 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2210,8 +2210,8 @@
-
-
+
+
@@ -2223,8 +2223,8 @@
-
-
+
+
@@ -2233,8 +2233,8 @@
-
-
+
+
@@ -2243,8 +2243,8 @@
-
-
+
+
@@ -2253,22 +2253,22 @@
-
-
+
+
-
-
+
+
-
-
+
+
@@ -2277,8 +2277,8 @@
-
-
+
+
@@ -2287,8 +2287,8 @@
-
-
+
+
@@ -2297,8 +2297,8 @@
-
-
+
+
@@ -2307,8 +2307,8 @@
-
-
+
+
@@ -2375,7 +2375,7 @@
-
+
@@ -2422,7 +2422,7 @@
-
+
@@ -2789,7 +2789,7 @@
-
+
@@ -4469,250 +4469,250 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -4727,257 +4727,257 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -4987,343 +4987,343 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5338,43 +5338,43 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5392,7 +5392,7 @@
-
+
@@ -5402,13 +5402,13 @@
-
+
-
+
@@ -5419,24 +5419,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -5448,7 +5448,7 @@
-
+
@@ -5463,24 +5463,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -5492,7 +5492,7 @@
-
+
@@ -5505,7 +5505,7 @@
-
+
@@ -5513,7 +5513,7 @@
-
+
@@ -5528,37 +5528,37 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5582,7 +5582,7 @@
-
+
@@ -5592,7 +5592,7 @@
-
+
@@ -5603,7 +5603,7 @@
-
+
@@ -5614,7 +5614,7 @@
-
+
@@ -5627,7 +5627,7 @@
-
+
@@ -5647,7 +5647,7 @@
-
+
@@ -5655,7 +5655,7 @@
-
+
@@ -5664,7 +5664,7 @@
-
+
@@ -5673,7 +5673,7 @@
-
+
@@ -5685,7 +5685,7 @@
-
+
@@ -5693,7 +5693,7 @@
-
+
@@ -5702,7 +5702,7 @@
-
+
@@ -5719,7 +5719,7 @@
-
+
@@ -5727,7 +5727,7 @@
-
+
@@ -5736,7 +5736,7 @@
-
+
@@ -5753,7 +5753,7 @@
-
+
@@ -5761,7 +5761,7 @@
-
+
@@ -5770,7 +5770,7 @@
-
+
@@ -5779,7 +5779,7 @@
-
+
@@ -5788,13 +5788,13 @@
-
+
-
+
@@ -5806,7 +5806,7 @@
-
+
@@ -5822,14 +5822,14 @@
-
+
-
+
@@ -5837,7 +5837,7 @@
-
+
@@ -5856,7 +5856,7 @@
-
+
@@ -5867,20 +5867,20 @@
-
+
-
+
-
+
-
+
@@ -5896,7 +5896,7 @@
-
+
@@ -5909,7 +5909,7 @@
-
+
@@ -5919,7 +5919,7 @@
-
+
@@ -5933,7 +5933,7 @@
-
+
@@ -5943,7 +5943,7 @@
-
+
@@ -5954,20 +5954,20 @@
-
+
-
+
-
+
-
+
@@ -5983,7 +5983,7 @@
-
+
@@ -5996,7 +5996,7 @@
-
+
@@ -6006,7 +6006,7 @@
-
+
@@ -6020,7 +6020,7 @@
-
+
@@ -6035,20 +6035,20 @@
-
+
-
+
-
+
-
+
@@ -6064,20 +6064,20 @@
-
+
-
+
-
+
-
+
@@ -6091,10 +6091,10 @@
-
+
-
+
@@ -6103,19 +6103,19 @@
-
+
-
+
-
+
@@ -6125,19 +6125,19 @@
-
+
-
+
-
+
@@ -6157,15 +6157,15 @@
-
+
-
+
-
+
@@ -6173,7 +6173,7 @@
-
+
@@ -6188,19 +6188,19 @@
-
+
-
+
-
+
@@ -6221,15 +6221,15 @@
-
+
-
+
-
+
@@ -6237,7 +6237,7 @@
-
+
@@ -6258,16 +6258,16 @@
-
+
-
+
-
+
@@ -6278,25 +6278,25 @@
-
+
-
+
-
+
-
+
@@ -6310,7 +6310,7 @@
-
+
@@ -6328,14 +6328,14 @@
-
+
-
+
-
+
@@ -6348,14 +6348,14 @@
-
+
-
+
-
+
@@ -6371,25 +6371,25 @@
-
+
-
+
-
+
-
+
-
+
@@ -6408,25 +6408,25 @@
-
+
-
+
-
+
-
+
@@ -6446,13 +6446,13 @@
-
+
-
+
@@ -6460,7 +6460,7 @@
-
+
@@ -6468,7 +6468,7 @@
-
+
@@ -6477,7 +6477,7 @@
-
+
@@ -6500,24 +6500,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -6538,7 +6538,7 @@
-
+
@@ -6552,7 +6552,7 @@
-
+
@@ -6563,7 +6563,7 @@
-
+
@@ -6572,7 +6572,7 @@
-
+
@@ -6590,7 +6590,7 @@
-
+
@@ -6599,7 +6599,7 @@
-
+
@@ -6615,10 +6615,10 @@
-
+
-
+
@@ -6640,13 +6640,13 @@
-
+
-
+
@@ -6661,13 +6661,13 @@
-
+
-
+
@@ -6677,25 +6677,25 @@
-
+
-
+
-
+
-
+
@@ -6705,25 +6705,25 @@
-
+
-
+
-
+
-
+
@@ -6761,7 +6761,7 @@
-
+
@@ -6772,12 +6772,12 @@
-
+
-
+
@@ -6791,7 +6791,7 @@
-
+
@@ -6807,24 +6807,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -6847,24 +6847,24 @@
-
+
-
+
-
+
-
+
-
+
@@ -6877,13 +6877,13 @@
-
+
-
+
@@ -6900,11 +6900,11 @@
-
+
-
+
@@ -6946,10 +6946,10 @@
-
+
-
+
@@ -6962,18 +6962,18 @@
-
+
-
+
-
+
-
+
@@ -6986,7 +6986,7 @@
-
+
@@ -7000,13 +7000,13 @@
-
+
-
+
@@ -7017,7 +7017,7 @@
-
+
@@ -7027,7 +7027,7 @@
-
+
@@ -7038,7 +7038,7 @@
-
+
@@ -7049,7 +7049,7 @@
-
+
@@ -7080,10 +7080,10 @@
-
+
-
+
@@ -7094,18 +7094,18 @@
-
+
-
+
-
+
-
+
@@ -7119,10 +7119,10 @@
-
+
-
+
@@ -7134,18 +7134,18 @@
-
+
-
+
-
+
-
+
@@ -7159,10 +7159,10 @@
-
+
-
+
@@ -7177,30 +7177,30 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -7210,7 +7210,7 @@
-
+
@@ -7218,14 +7218,14 @@
-
+
-
+
@@ -7233,10 +7233,10 @@
-
+
-
+
@@ -7247,10 +7247,10 @@
-
+
-
+
@@ -7267,15 +7267,15 @@
-
+
-
+
-
+
@@ -7297,10 +7297,10 @@
-
+
-
+
@@ -7316,15 +7316,15 @@
-
+
-
+
-
+
@@ -7346,10 +7346,10 @@
-
+
-
+
@@ -7368,25 +7368,25 @@
-
+
-
+
-
+
-
+
-
+
@@ -7422,10 +7422,10 @@
-
+
-
+
@@ -7442,7 +7442,7 @@
-
+
@@ -7450,7 +7450,7 @@
-
+
@@ -7458,7 +7458,7 @@
-
+
@@ -7467,7 +7467,7 @@
-
+
@@ -7481,18 +7481,18 @@
-
+
-
+
-
+
-
+
@@ -7522,10 +7522,10 @@
-
+
-
+
@@ -7535,14 +7535,14 @@
-
+
-
+
@@ -7557,10 +7557,10 @@
-
+
-
+
@@ -7570,7 +7570,7 @@
-
+
@@ -7584,10 +7584,10 @@
-
+
-
+
@@ -7597,19 +7597,19 @@
-
+
-
+
-
+
@@ -7626,10 +7626,10 @@
-
+
-
+
@@ -7645,7 +7645,7 @@
-
+
@@ -7657,7 +7657,7 @@
-
+
@@ -7671,10 +7671,10 @@
-
+
-
+
@@ -7690,7 +7690,7 @@
-
+
@@ -7702,7 +7702,7 @@
-
+
@@ -7716,10 +7716,10 @@
-
+
-
+
@@ -10222,7 +10222,7 @@
-
+
@@ -10250,7 +10250,7 @@
-
+
@@ -10258,8 +10258,8 @@
-
-
+
+
@@ -10268,7 +10268,7 @@
-
+
@@ -10276,12 +10276,12 @@
-
-
+
+
-
-
+
+
@@ -10364,28 +10364,28 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -10420,24 +10420,24 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -10470,12 +10470,12 @@
-
-
+
+
-
-
+
+
@@ -10486,8 +10486,8 @@
-
-
+
+
@@ -10498,8 +10498,8 @@
-
-
+
+
@@ -10546,20 +10546,20 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -10570,8 +10570,8 @@
-
-
+
+
@@ -10579,7 +10579,7 @@
-
+
@@ -11026,36 +11026,36 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -11066,12 +11066,12 @@
-
-
+
+
-
-
+
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps
index b01f49556..3dd1902d2 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps
@@ -563,61 +563,61 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2010,15 +2010,15 @@
-
-
+
+
-
-
+
+
@@ -2027,8 +2027,8 @@
-
-
+
+
@@ -2037,15 +2037,15 @@
-
-
+
+
-
-
+
+
@@ -2054,8 +2054,8 @@
-
-
+
+
@@ -2064,8 +2064,8 @@
-
-
+
+
@@ -2074,8 +2074,8 @@
-
-
+
+
@@ -2084,8 +2084,8 @@
-
-
+
+
@@ -2094,15 +2094,15 @@
-
-
+
+
-
-
+
+
@@ -2111,15 +2111,15 @@
-
-
+
+
-
-
+
+
@@ -2128,8 +2128,8 @@
-
-
+
+
@@ -2138,8 +2138,8 @@
-
-
+
+
@@ -2148,11 +2148,11 @@
-
+
-
+
-
+
@@ -2161,7 +2161,7 @@
-
+
@@ -2178,7 +2178,7 @@
-
+
@@ -2189,7 +2189,7 @@
-
+
@@ -2198,7 +2198,7 @@
-
+
@@ -2212,7 +2212,7 @@
-
+
@@ -2226,7 +2226,7 @@
-
+
@@ -2242,13 +2242,13 @@
-
+
-
+
@@ -2259,9 +2259,9 @@
-
+
-
+
@@ -2270,7 +2270,7 @@
-
+
@@ -2289,7 +2289,7 @@
-
+
@@ -2302,7 +2302,7 @@
-
+
@@ -2311,7 +2311,7 @@
-
+
@@ -2330,7 +2330,7 @@
-
+
@@ -2344,9 +2344,9 @@
-
+
-
+
@@ -2355,27 +2355,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2389,7 +2389,7 @@
-
+
@@ -2403,27 +2403,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2437,9 +2437,9 @@
-
+
-
+
@@ -2448,27 +2448,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2484,7 +2484,7 @@
-
+
@@ -2500,27 +2500,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2534,9 +2534,9 @@
-
+
-
+
@@ -2545,27 +2545,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2581,7 +2581,7 @@
-
+
@@ -2595,27 +2595,27 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -2629,9 +2629,9 @@
-
+
-
+
@@ -2640,7 +2640,7 @@
-
+
@@ -2656,7 +2656,7 @@
-
+
@@ -2670,7 +2670,7 @@
-
+
@@ -2715,10 +2715,10 @@
-
+
-
+
@@ -2741,10 +2741,10 @@
-
+
-
+
@@ -2755,13 +2755,13 @@
-
+
-
+
-
+
@@ -2793,13 +2793,13 @@
-
+
-
+
-
+
@@ -2823,16 +2823,16 @@
-
+
-
+
-
+
-
+
@@ -2858,13 +2858,13 @@
-
+
-
+
-
+
@@ -2895,7 +2895,7 @@
-
+
@@ -2918,7 +2918,7 @@
-
+
@@ -2929,10 +2929,10 @@
-
+
-
+
@@ -2979,10 +2979,10 @@
-
+
-
+
@@ -3098,19 +3098,19 @@
-
+
-
+
-
+
@@ -5008,270 +5008,270 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5281,155 +5281,155 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5452,19 +5452,19 @@
-
+
-
+
-
+
@@ -5474,7 +5474,7 @@
-
+
@@ -5484,7 +5484,7 @@
-
+
@@ -5493,19 +5493,19 @@
-
+
-
+
-
+
@@ -5521,20 +5521,20 @@
-
+
-
+
-
+
-
+
@@ -5554,30 +5554,30 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -5597,25 +5597,25 @@
-
+
-
+
-
+
-
+
-
+
@@ -5630,7 +5630,7 @@
-
+
@@ -5646,20 +5646,20 @@
-
+
-
+
-
+
-
+
@@ -5675,7 +5675,7 @@
-
+
@@ -5688,7 +5688,7 @@
-
+
@@ -5698,7 +5698,7 @@
-
+
@@ -5712,7 +5712,7 @@
-
+
@@ -5722,7 +5722,7 @@
-
+
@@ -5738,20 +5738,20 @@
-
+
-
+
-
+
-
+
@@ -5767,7 +5767,7 @@
-
+
@@ -5780,7 +5780,7 @@
-
+
@@ -5790,7 +5790,7 @@
-
+
@@ -5804,7 +5804,7 @@
-
+
@@ -5814,13 +5814,13 @@
-
+
-
+
@@ -5830,7 +5830,7 @@
-
+
@@ -5846,17 +5846,17 @@
-
+
-
+
-
+
@@ -5874,13 +5874,13 @@
-
+
-
+
@@ -5896,20 +5896,20 @@
-
+
-
+
-
+
-
+
@@ -5925,20 +5925,20 @@
-
+
-
+
-
+
-
+
@@ -5952,10 +5952,10 @@
-
+
-
+
@@ -5964,7 +5964,7 @@
-
+
@@ -5974,37 +5974,37 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -6027,7 +6027,7 @@
-
+
@@ -6035,7 +6035,7 @@
-
+
@@ -6046,7 +6046,7 @@
-
+
@@ -6054,7 +6054,7 @@
-
+
@@ -6063,7 +6063,7 @@
-
+
@@ -6075,7 +6075,7 @@
-
+
@@ -6083,7 +6083,7 @@
-
+
@@ -6095,7 +6095,7 @@
-
+
@@ -6103,7 +6103,7 @@
-
+
@@ -6120,7 +6120,7 @@
-
+
@@ -6130,10 +6130,10 @@
-
+
-
+
@@ -6141,7 +6141,7 @@
-
+
@@ -6158,7 +6158,7 @@
-
+
@@ -6168,13 +6168,13 @@
-
+
-
+
@@ -6186,12 +6186,12 @@
-
+
-
+
@@ -6199,7 +6199,7 @@
-
+
@@ -6213,10 +6213,10 @@
-
+
-
+
@@ -6229,19 +6229,19 @@
-
+
-
+
-
+
@@ -6264,7 +6264,7 @@
-
+
@@ -6274,10 +6274,10 @@
-