diff --git a/examples/scholarly_paper/2021-ITP-PMTI/ROOT b/examples/scholarly_paper/2021-ITP-PMTI/ROOT
index a0e6c42..bb05c5c 100644
--- a/examples/scholarly_paper/2021-ITP-PMTI/ROOT
+++ b/examples/scholarly_paper/2021-ITP-PMTI/ROOT
@@ -7,3 +7,11 @@ session "2021-ITP-PMTI" = "Isabelle_DOF" +
     "root.bib"
     "preamble.tex"
     "build"
+    "figures/Req-Appl-ex.png"
+    "figures/formal-development.png"
+    "figures/Req-Def-ex.png"
+    "figures/odometer.jpeg"
+    "figures/cicm2018-combined.png"
+    "figures/three-phase-odo.pdf"
+    "figures/df-numerics-encshaft.png"
+    "figures/wheel-df.png"
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Appl-ex.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Appl-ex.png
new file mode 100644
index 0000000..eb6b018
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Appl-ex.png differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Def-ex.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Def-ex.png
new file mode 100644
index 0000000..9a2ab6e
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/Req-Def-ex.png differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/cicm2018-combined.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/cicm2018-combined.png
new file mode 100644
index 0000000..aff600a
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/cicm2018-combined.png differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/df-numerics-encshaft.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/df-numerics-encshaft.png
new file mode 100644
index 0000000..1826f4f
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/df-numerics-encshaft.png differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/formal-development.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/formal-development.png
new file mode 100644
index 0000000..e921e1f
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/formal-development.png differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/odometer.jpeg b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/odometer.jpeg
new file mode 100644
index 0000000..ee021fe
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/odometer.jpeg differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/three-phase-odo.pdf b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/three-phase-odo.pdf
new file mode 100644
index 0000000..88ddf0b
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/three-phase-odo.pdf differ
diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/figures/wheel-df.png b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/wheel-df.png
new file mode 100644
index 0000000..f146e22
Binary files /dev/null and b/examples/scholarly_paper/2021-ITP-PMTI/document/figures/wheel-df.png differ