diff --git a/code/languages/com.mbeddr.formal.safety/.mps/modules.xml b/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
index 56d01a81..77322683 100644
--- a/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
+++ b/code/languages/com.mbeddr.formal.safety/.mps/modules.xml
@@ -41,6 +41,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn.doc/fasten.safety.gsn.doc.devkit b/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn.doc/fasten.safety.gsn.doc.devkit
index ec7efe25..c0f8d744 100644
--- a/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn.doc/fasten.safety.gsn.doc.devkit
+++ b/code/languages/com.mbeddr.formal.safety/devkits/fasten.safety.gsn.doc/fasten.safety.gsn.doc.devkit
@@ -1,6 +1,8 @@
+
+
b64463ba-ae31-4cf7-be7b-afc13cab4daa(fasten.safety.gsn)
54c79f9f-f3ba-4167-91f1-eb4e98a9c47c(com.mbeddr.documentation)
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl
new file mode 100644
index 00000000..e894933d
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl
@@ -0,0 +1,82 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)
+ bc7d0863-298c-41cf-984f-a0421e757da5(com.mpsbasics.pdfbox)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ece26728-2885-4b26-9f61-67d2821fc361(com.mpsbasics.pdfexporter)
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps
new file mode 100644
index 00000000..b3cb0481
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps
@@ -0,0 +1,388 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.constraints.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.constraints.mps
new file mode 100644
index 00000000..7f93cbda
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.constraints.mps
@@ -0,0 +1,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps
new file mode 100644
index 00000000..f053bfea
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps
@@ -0,0 +1,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps
new file mode 100644
index 00000000..7fe55a23
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps
@@ -0,0 +1,55 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.typesystem.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.typesystem.mps
new file mode 100644
index 00000000..640a6f54
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.typesystem.mps
@@ -0,0 +1,11 @@
+
+
+
+
+
+
+
+
+
+
+
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 02e619fb..e5732df2 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
@@ -554,6 +554,9 @@
+
+
+
@@ -1942,6 +1945,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1991,33 +2009,29 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5431,6 +5445,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6809,6 +6877,12 @@
+
+
+
+
+
+
diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl
index 4afbb52e..9050f1e7 100644
--- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl
+++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl
@@ -11,49 +11,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
bc7d0863-298c-41cf-984f-a0421e757da5(com.mpsbasics.pdfbox)
diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/generator/templates/com.mpsbasics.pdfexporter.generator.templates@generator.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/generator/templates/com.mpsbasics.pdfexporter.generator.templates@generator.mps
deleted file mode 100644
index 2d4d810a..00000000
--- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/generator/templates/com.mpsbasics.pdfexporter.generator.templates@generator.mps
+++ /dev/null
@@ -1,24 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps
index 0e5f367c..0faeefd6 100644
--- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps
+++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps
@@ -30,6 +30,7 @@
+
@@ -97,6 +98,8 @@
+
+
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 6ffe4202..9dd61712 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
@@ -70,6 +70,7 @@
+
@@ -86,6 +87,7 @@
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps
new file mode 100644
index 00000000..df39f995
--- /dev/null
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps
@@ -0,0 +1,93 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+