diff --git a/diagrams/10-incremental/convert.sh b/diagrams/10-incremental/convert.sh
deleted file mode 100755
index dec7cd0e5dab20a31316d2bb8ca98b6fae60a23d..0000000000000000000000000000000000000000
--- a/diagrams/10-incremental/convert.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-for pdfile in *.pdf ; do
-  convert -verbose -density 150 "${pdfile}" "${pdfile%.*}".png
-done
-
diff --git a/diagrams/10-incremental/individual-Check-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Check-ConnectedSegments.pdf
deleted file mode 100644
index 9d51b8560c38f3a34c8046de4b5cfa52e8f7c190..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-ConnectedSegments.png b/diagrams/10-incremental/individual-Check-ConnectedSegments.png
deleted file mode 100644
index f8d6d8edb7215b070c3559e07b0b0bdc4a86ab14..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-PosLength.pdf b/diagrams/10-incremental/individual-Check-PosLength.pdf
deleted file mode 100644
index 127d5f264a4538b2c2ddc7ee5e46753fe882356a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-PosLength.png b/diagrams/10-incremental/individual-Check-PosLength.png
deleted file mode 100644
index 84ca897b95a48e103119696f3abd8979dfa11061..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-RouteSensor.pdf b/diagrams/10-incremental/individual-Check-RouteSensor.pdf
deleted file mode 100644
index fdefbac8238e6818686b5046659cd309618ca18e..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-RouteSensor.png b/diagrams/10-incremental/individual-Check-RouteSensor.png
deleted file mode 100644
index 257781908fc74f9195ebba2f54263a14bb6f1381..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index 4d94d03ec4c983c28f9aac16cc6d12d0c2a96122..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.png
deleted file mode 100644
index b69b6816d9cd41368c6592dd393e10f95037d854..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Check-SwitchMonitored.pdf
deleted file mode 100644
index 328982f4242c369e7cf42478c0925e561c11fd4b..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SwitchMonitored.png b/diagrams/10-incremental/individual-Check-SwitchMonitored.png
deleted file mode 100644
index 40f3cd997a2228ce2bec59bc83c0d393cecd18ff..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SwitchSet.pdf b/diagrams/10-incremental/individual-Check-SwitchSet.pdf
deleted file mode 100644
index 3d6c9f0ce5f272926b7b004a7b802b75dbcb3a4a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Check-SwitchSet.png b/diagrams/10-incremental/individual-Check-SwitchSet.png
deleted file mode 100644
index 24544758b61af436cef986a41cbcc424dae2f89c..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Read-ConnectedSegments.pdf
deleted file mode 100644
index ae2548ddc8350d2c97af79e50f484fadacdb030d..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-ConnectedSegments.png b/diagrams/10-incremental/individual-Read-ConnectedSegments.png
deleted file mode 100644
index 10ec1a81b457486002b70f3c51b4e9b39f00594a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-PosLength.pdf b/diagrams/10-incremental/individual-Read-PosLength.pdf
deleted file mode 100644
index 64c7b95925aea80167ff6f28710acdc1c252c1aa..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-PosLength.png b/diagrams/10-incremental/individual-Read-PosLength.png
deleted file mode 100644
index 348e8113ee3f1a19622fd9b0644bfcbc6bcfb812..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-RouteSensor.pdf b/diagrams/10-incremental/individual-Read-RouteSensor.pdf
deleted file mode 100644
index b71e5bc1f17a0145b3d430ddefa1cf6f17222dd0..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-RouteSensor.png b/diagrams/10-incremental/individual-Read-RouteSensor.png
deleted file mode 100644
index b178863ee9742e63db318ed82c3e8c892aa1eaff..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.pdf
deleted file mode 100644
index 9e93912b8e06ce8d0f32bfbeef6ee1094ff4bf39..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.png
deleted file mode 100644
index fca51fa569d45ea19db948980eac94418200bfd1..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Read-SwitchMonitored.pdf
deleted file mode 100644
index 4e235a2078fd75ac936faaee1d107058875d333e..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SwitchMonitored.png b/diagrams/10-incremental/individual-Read-SwitchMonitored.png
deleted file mode 100644
index 2e87b5e0d6e09e340fac00877e87e3d788580bf6..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SwitchSet.pdf b/diagrams/10-incremental/individual-Read-SwitchSet.pdf
deleted file mode 100644
index 058fc9441cd61547712ad521cd6b8bc05610e44d..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-SwitchSet.png b/diagrams/10-incremental/individual-Read-SwitchSet.png
deleted file mode 100644
index 066d1e513b8b831029f33d95cd2ad90ef85eb15a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-SwitchSet.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.pdf
deleted file mode 100644
index ffd6ba840333983d25412f3162c7008b3f0079dd..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.png b/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.png
deleted file mode 100644
index a72e269965323972cbc3145b9170f56d2805969a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-PosLength.pdf b/diagrams/10-incremental/individual-Read-and-Check-PosLength.pdf
deleted file mode 100644
index 4ceba9e3ef825b125f48cf6378504703e50eeadc..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-PosLength.png b/diagrams/10-incremental/individual-Read-and-Check-PosLength.png
deleted file mode 100644
index 5babc57c0e07e6e971a421c38c6d6693f5a81363..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.pdf b/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.pdf
deleted file mode 100644
index 978436e504df36522af4e27a94e6952000fa8275..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.png b/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.png
deleted file mode 100644
index b9b245ca67e2c3b6c058558d3c6c4ee5949a423e..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index 88b9ac8838656b351de2199236569a06ad232c1e..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.png
deleted file mode 100644
index 87909d6e57d65809ccf7773eadace88c460cd165..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.pdf
deleted file mode 100644
index 7b289cce70e4be10bd868177c9e7445be85612ea..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.png b/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.png
deleted file mode 100644
index 78cf0f7d513fe75e2f6bac4c6c374e159c8d99bb..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.pdf b/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.pdf
deleted file mode 100644
index 80626f4720fc1987f4731390d0fb7adf33f5f601..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.png b/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.png
deleted file mode 100644
index f06728a086a8a046064397b07e3d162773617f41..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Read-and-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index 2f7362c14008ee605719041ee10d2d255aaf9737..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-ConnectedSegments.png b/diagrams/10-incremental/individual-Recheck-ConnectedSegments.png
deleted file mode 100644
index eb4b233cbde28f1ccaca85fc1daa3e400e526243..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-PosLength.pdf b/diagrams/10-incremental/individual-Recheck-PosLength.pdf
deleted file mode 100644
index b3628453f1306f6139355029a5ce6e7a05137c1b..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-PosLength.png b/diagrams/10-incremental/individual-Recheck-PosLength.png
deleted file mode 100644
index 8dbbe07235a793c7008733e9ecda0f03b4295746..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-RouteSensor.pdf b/diagrams/10-incremental/individual-Recheck-RouteSensor.pdf
deleted file mode 100644
index 860a658599c8d4b88bd744907c97360e65fa17b6..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-RouteSensor.png b/diagrams/10-incremental/individual-Recheck-RouteSensor.png
deleted file mode 100644
index da694692af6584b933a3c8a69a42373ce0323a33..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index 92835fdeed1b935a9a253a3df92e58c39284b684..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index 60de267d07e8c0084ab49cc944353c7f43e35c95..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index 8297d2463a7a6a4daa9f4e2a8622ef714bfd1578..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SwitchMonitored.png b/diagrams/10-incremental/individual-Recheck-SwitchMonitored.png
deleted file mode 100644
index 19de502c86fb6663deb44dda77f59fc1a22033dd..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SwitchSet.pdf b/diagrams/10-incremental/individual-Recheck-SwitchSet.pdf
deleted file mode 100644
index a8e481241330ff946fffed017b2720a44ced9af4..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Recheck-SwitchSet.png b/diagrams/10-incremental/individual-Recheck-SwitchSet.png
deleted file mode 100644
index 69b7f29bc46bcf358196301f649d0391d60cf8e2..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Recheck-SwitchSet.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Transformation-ConnectedSegments.pdf
deleted file mode 100644
index 98a64a034ec0fa738f4f22e9948d1bd611b1b849..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-ConnectedSegments.png b/diagrams/10-incremental/individual-Transformation-ConnectedSegments.png
deleted file mode 100644
index 4c9a6f0b7a2f2c04cc8241630f7a296c48e87111..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-PosLength.pdf b/diagrams/10-incremental/individual-Transformation-PosLength.pdf
deleted file mode 100644
index e97d64c360c88f79bd3723fcffee4aa6caf73c2a..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-PosLength.png b/diagrams/10-incremental/individual-Transformation-PosLength.png
deleted file mode 100644
index b43ffb92bf221b77cb63e17a72154c20a78f3041..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-RouteSensor.pdf b/diagrams/10-incremental/individual-Transformation-RouteSensor.pdf
deleted file mode 100644
index bda2682a29d7cec56501eecbb59947f91d367ea3..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-RouteSensor.png b/diagrams/10-incremental/individual-Transformation-RouteSensor.png
deleted file mode 100644
index c6153a6a82ec7b6da133d708ee33190a39f0f476..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.pdf
deleted file mode 100644
index 961b1ca1366bde540c4f235ff267888253c810d3..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.png
deleted file mode 100644
index 54f5a1cb0cb293807c32ca35d6c6733d63e52625..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Transformation-SwitchMonitored.pdf
deleted file mode 100644
index a08d683d9d7dd9a68b31d0771a1d19fe6be20bb5..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SwitchMonitored.png b/diagrams/10-incremental/individual-Transformation-SwitchMonitored.png
deleted file mode 100644
index f1aedf8cc75ea5f240b99c2e26e2700fb0c87696..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SwitchSet.pdf b/diagrams/10-incremental/individual-Transformation-SwitchSet.pdf
deleted file mode 100644
index 4ec6f9dbf02ba1d277bacf41988a717615258ebc..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-SwitchSet.png b/diagrams/10-incremental/individual-Transformation-SwitchSet.png
deleted file mode 100644
index da223e00c48ba4e26c062c99cf244404efdddb66..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-SwitchSet.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index 568f0cf013333c61966764fa358f10ba0ab13d25..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.png
deleted file mode 100644
index f3b4e0b70e8431c68cc1060548eca0a918c54408..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.pdf
deleted file mode 100644
index b47604dc2f1705100928ce7b5894746b435e2f6b..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.png
deleted file mode 100644
index 9bdf735f4d288e62688f1bc45ef04d9f88335513..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.pdf
deleted file mode 100644
index 5e7c1e4acdeb789f7304f26699865c63653fde48..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.png
deleted file mode 100644
index a4175f38133199651530da5c72f76a88100b1d94..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index 91f28882cf273f32550a6e8ebb4a21f031a26c03..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index 848279eb81f10372163db70174b2dce19bbafd44..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index 103cc8351db5503f07fc969c6d7b494a9a1fef3b..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.png
deleted file mode 100644
index bcf3d7b72642280984d6cd345d2b83cbd7061fdc..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.pdf b/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.pdf
deleted file mode 100644
index 7f59c2a1b10fdcb6582043281ff7b5509c04ef86..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.png b/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.png
deleted file mode 100644
index 9d82962ff4c6719f1b83d628fb08c92ab7c0d146..0000000000000000000000000000000000000000
Binary files a/diagrams/10-incremental/individual-Transformation-and-Recheck-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/convert.sh b/diagrams/11-inject/convert.sh
deleted file mode 100755
index dec7cd0e5dab20a31316d2bb8ca98b6fae60a23d..0000000000000000000000000000000000000000
--- a/diagrams/11-inject/convert.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-for pdfile in *.pdf ; do
-  convert -verbose -density 150 "${pdfile}" "${pdfile%.*}".png
-done
-
diff --git a/diagrams/11-inject/individual-Check-ConnectedSegments.pdf b/diagrams/11-inject/individual-Check-ConnectedSegments.pdf
deleted file mode 100644
index aa4731f82847e9f9e1998f61143cf6c0a8cfcdbe..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-ConnectedSegments.png b/diagrams/11-inject/individual-Check-ConnectedSegments.png
deleted file mode 100644
index 3978c88448df23967646d5e1c3114b35b047f68b..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-PosLength.pdf b/diagrams/11-inject/individual-Check-PosLength.pdf
deleted file mode 100644
index 070a751f0006fc3b22b38548c27a88de17f7e8bf..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-PosLength.png b/diagrams/11-inject/individual-Check-PosLength.png
deleted file mode 100644
index 765b91f682f079a6edcc4251a5ab8c9611b38319..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-RouteSensor.pdf b/diagrams/11-inject/individual-Check-RouteSensor.pdf
deleted file mode 100644
index 1b58959bbf898c5a5fcf17e027675caff37b7c52..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-RouteSensor.png b/diagrams/11-inject/individual-Check-RouteSensor.png
deleted file mode 100644
index 60589e43a4408d8c5358d15b8047d878001a5ed2..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index a5ca7da334356825ae31401854fabcd08b8ae3c8..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Check-SemaphoreNeighbor.png
deleted file mode 100644
index b47c5a7c3c44cceb4bb0d6a24aa02032d1ad5f83..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SwitchMonitored.pdf b/diagrams/11-inject/individual-Check-SwitchMonitored.pdf
deleted file mode 100644
index 7b8f81d5fa49d145fa88384a225f372537bf6f24..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SwitchMonitored.png b/diagrams/11-inject/individual-Check-SwitchMonitored.png
deleted file mode 100644
index 73a39dfeaecce0263e033d4f6512b1b929b9e586..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SwitchSet.pdf b/diagrams/11-inject/individual-Check-SwitchSet.pdf
deleted file mode 100644
index 8064f762a2b10a003466e8cb3626289b5da613b9..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Check-SwitchSet.png b/diagrams/11-inject/individual-Check-SwitchSet.png
deleted file mode 100644
index c25542e595eab05d719373e84fdbf675c7d494a2..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-ConnectedSegments.pdf b/diagrams/11-inject/individual-Read-ConnectedSegments.pdf
deleted file mode 100644
index 3e5b0c261eef740e98befcd1ecd2c7b74e828b15..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-ConnectedSegments.png b/diagrams/11-inject/individual-Read-ConnectedSegments.png
deleted file mode 100644
index af44db1d0248bbd223067a3f53b01cebbe417ae5..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-PosLength.pdf b/diagrams/11-inject/individual-Read-PosLength.pdf
deleted file mode 100644
index cd770f1797d2c51401fc6c389ee9b386b2b19996..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-PosLength.png b/diagrams/11-inject/individual-Read-PosLength.png
deleted file mode 100644
index 0da1956264a3c58084447f2b65062c830f3afe9c..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-RouteSensor.pdf b/diagrams/11-inject/individual-Read-RouteSensor.pdf
deleted file mode 100644
index a8cfe5c89e2ab218df2040eb3e7386b3bb38f01d..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-RouteSensor.png b/diagrams/11-inject/individual-Read-RouteSensor.png
deleted file mode 100644
index 76abad6e1de0d9f0200842acef5c89e7a5a389fe..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Read-SemaphoreNeighbor.pdf
deleted file mode 100644
index de23bcce7f6849921d0b9f7733a987c13b4eb47d..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Read-SemaphoreNeighbor.png
deleted file mode 100644
index 7362db832943bad4a5fc50c02096b25ac969bfe7..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SwitchMonitored.pdf b/diagrams/11-inject/individual-Read-SwitchMonitored.pdf
deleted file mode 100644
index 439f9bd403c9e0d72133abcf59cc80ff598572f5..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SwitchMonitored.png b/diagrams/11-inject/individual-Read-SwitchMonitored.png
deleted file mode 100644
index 1cc4d6e37d116140461e688acef5e87fcc01a4a9..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SwitchSet.pdf b/diagrams/11-inject/individual-Read-SwitchSet.pdf
deleted file mode 100644
index 2889cf9af2a5c0568dcc05ca7e4b24ee1f694554..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-SwitchSet.png b/diagrams/11-inject/individual-Read-SwitchSet.png
deleted file mode 100644
index 0f54bd71b764a9d49800481d254b43a0094e375c..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.pdf b/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.pdf
deleted file mode 100644
index f0900eaa096b926c5687290df930f92657b0ea54..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.png b/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.png
deleted file mode 100644
index 333434a2f12535b19933e9e4c901036426e69b36..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-PosLength.pdf b/diagrams/11-inject/individual-Read-and-Check-PosLength.pdf
deleted file mode 100644
index 925cce026905f7640775e08ab038b9a6b0e31065..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-PosLength.png b/diagrams/11-inject/individual-Read-and-Check-PosLength.png
deleted file mode 100644
index dfd33338d0c73de82c81d843e3098a617c107e23..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-RouteSensor.pdf b/diagrams/11-inject/individual-Read-and-Check-RouteSensor.pdf
deleted file mode 100644
index 244e194a5d3b053146346941a217256f736fb878..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-RouteSensor.png b/diagrams/11-inject/individual-Read-and-Check-RouteSensor.png
deleted file mode 100644
index cf475038e772b2e97499c3d92639a7bf4abe0397..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index 1dba1be7333df02f3d4f00a9f9b569897725e394..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.png
deleted file mode 100644
index 5734924492e642135cda4519dd3d42ea45c0b7ab..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.pdf b/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.pdf
deleted file mode 100644
index 91301e9076bee27d47d100469dd826537dd38b05..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.png b/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.png
deleted file mode 100644
index 96c5e3148b99f82a2930ba73253745e78b3f6dea..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SwitchSet.pdf b/diagrams/11-inject/individual-Read-and-Check-SwitchSet.pdf
deleted file mode 100644
index 5feb46ea2c3012638c091297b2fd6d4b9d49fae4..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Read-and-Check-SwitchSet.png b/diagrams/11-inject/individual-Read-and-Check-SwitchSet.png
deleted file mode 100644
index 1f9e8b3cdb5f2bc2c705fadb6a4ca4a5e4194eb3..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Read-and-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-ConnectedSegments.pdf b/diagrams/11-inject/individual-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index 9467f04f7b1a0f4ca1bcd5c0438ea9d09dd198ab..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-ConnectedSegments.png b/diagrams/11-inject/individual-Recheck-ConnectedSegments.png
deleted file mode 100644
index 3938346d7f28ae46ae8e7b6c3338730a9fb0e2ed..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-PosLength.pdf b/diagrams/11-inject/individual-Recheck-PosLength.pdf
deleted file mode 100644
index a1ccc0f737a9706af743e7971df24c05973333f2..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-PosLength.png b/diagrams/11-inject/individual-Recheck-PosLength.png
deleted file mode 100644
index b945f60260b38f1e0096c709a2f1e6af3dcc523f..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-RouteSensor.pdf b/diagrams/11-inject/individual-Recheck-RouteSensor.pdf
deleted file mode 100644
index 2576e6258f1e6b1816e0122e78436212d438f569..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-RouteSensor.png b/diagrams/11-inject/individual-Recheck-RouteSensor.png
deleted file mode 100644
index 6a3a64a73996862e62f77af26130670d9f19d1bb..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index 21b1c6abecf7f6700c29c2d908823259321eb49d..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index 175f625a7d5d5562a1e01591fe0c03f3b7f32cc5..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SwitchMonitored.pdf b/diagrams/11-inject/individual-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index 74d8c6d5434e4d4fa9a241cba13574882255f276..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SwitchMonitored.png b/diagrams/11-inject/individual-Recheck-SwitchMonitored.png
deleted file mode 100644
index 8866200fc1e6eae87cdda2e9384001051c25d3e8..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SwitchSet.pdf b/diagrams/11-inject/individual-Recheck-SwitchSet.pdf
deleted file mode 100644
index 83f7d704ee0a417e19ab9d6ce786e287f621dd32..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Recheck-SwitchSet.png b/diagrams/11-inject/individual-Recheck-SwitchSet.png
deleted file mode 100644
index fafda091ba0b3b5b47b641954b27be989dcfd0e0..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Recheck-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-ConnectedSegments.pdf b/diagrams/11-inject/individual-Transformation-ConnectedSegments.pdf
deleted file mode 100644
index f370effa80c0545a012931344aa1b4a3e31ac4ad..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-ConnectedSegments.png b/diagrams/11-inject/individual-Transformation-ConnectedSegments.png
deleted file mode 100644
index e96b3362542f9754af251b4a73af6d2c187dd265..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-PosLength.pdf b/diagrams/11-inject/individual-Transformation-PosLength.pdf
deleted file mode 100644
index 9bf20004788d10daa04af3ce1c3c72d66bd853ba..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-PosLength.png b/diagrams/11-inject/individual-Transformation-PosLength.png
deleted file mode 100644
index c8e4e511de231cfe5cbd6c6bbbea47025134fcac..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-RouteSensor.pdf b/diagrams/11-inject/individual-Transformation-RouteSensor.pdf
deleted file mode 100644
index 328a6f404bc4730dfcf5fb8390372976596567d5..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-RouteSensor.png b/diagrams/11-inject/individual-Transformation-RouteSensor.png
deleted file mode 100644
index 6a0ea9f40d0f5fc1b19de0542231dba0cfa0c134..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.pdf
deleted file mode 100644
index d86e1f57f7f3ce825fef1d273b650fd86c3c8505..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.png
deleted file mode 100644
index 84ca3a361a2345c071b568b934c8cf4341ee10ab..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SwitchMonitored.pdf b/diagrams/11-inject/individual-Transformation-SwitchMonitored.pdf
deleted file mode 100644
index 4e56a430a0a23014abd2a5d33f007194837a4b7a..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SwitchMonitored.png b/diagrams/11-inject/individual-Transformation-SwitchMonitored.png
deleted file mode 100644
index b1135ef46631a6c1b0fefae9768e2abdf9618d1a..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SwitchSet.pdf b/diagrams/11-inject/individual-Transformation-SwitchSet.pdf
deleted file mode 100644
index 6de0f60cd8879c02247e1091a1b9e57ea7d519eb..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-SwitchSet.png b/diagrams/11-inject/individual-Transformation-SwitchSet.png
deleted file mode 100644
index c92f57dc1cc023db6bcecaebf86ac445f3a3e322..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-SwitchSet.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index ca91e2f1f2e628369575fd4da8c400e20186396a..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.png b/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.png
deleted file mode 100644
index d0ed818b1d3d279558e9ca358ad51a3dbec20545..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.pdf
deleted file mode 100644
index 9a545feb19a576ffe749e838c7a679be78f81fe5..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.png b/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.png
deleted file mode 100644
index ccd874611664405b6c37c4e2f81d33b227dd3d0a..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.pdf
deleted file mode 100644
index baa0d356b063e4ec9cef68c4b5c9652e19bc9487..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.png b/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.png
deleted file mode 100644
index 24beada4e46006ac4f37db1f32359e416238e3c4..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index f9d22da2963532600bf327126c9274d4ba7fc047..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.png b/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index 8e73493155f999621ca85d5c402c6cc6af1cbf3b..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index 95dc23b7cdf7bb12fce9b8c59c57b78f0092f4b7..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.png b/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.png
deleted file mode 100644
index 6fe1ee36def3d60e3770c43a377ec4be5452001e..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.pdf b/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.pdf
deleted file mode 100644
index 9edf3b5e87437c2583267d404082366e4a888c6f..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.png b/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.png
deleted file mode 100644
index 664e6ca6fac8fbcb87c5fcb4be821efa19c16747..0000000000000000000000000000000000000000
Binary files a/diagrams/11-inject/individual-Transformation-and-Recheck-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/convert.sh b/diagrams/12-repair/convert.sh
deleted file mode 100755
index dec7cd0e5dab20a31316d2bb8ca98b6fae60a23d..0000000000000000000000000000000000000000
--- a/diagrams/12-repair/convert.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-for pdfile in *.pdf ; do
-  convert -verbose -density 150 "${pdfile}" "${pdfile%.*}".png
-done
-
diff --git a/diagrams/12-repair/individual-Check-ConnectedSegments.pdf b/diagrams/12-repair/individual-Check-ConnectedSegments.pdf
deleted file mode 100644
index 4f5358caddf252b794fbfb938f33c7888d58ffd6..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-ConnectedSegments.png b/diagrams/12-repair/individual-Check-ConnectedSegments.png
deleted file mode 100644
index c75621aebeed9e63a71fe6606c9e069626558af1..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-PosLength.pdf b/diagrams/12-repair/individual-Check-PosLength.pdf
deleted file mode 100644
index 7249f188948b5126297f47191bc5d239807b63ec..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-PosLength.png b/diagrams/12-repair/individual-Check-PosLength.png
deleted file mode 100644
index 5a39c07c5aefe0ed3c37fdf0e30d674d05a0a608..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-RouteSensor.pdf b/diagrams/12-repair/individual-Check-RouteSensor.pdf
deleted file mode 100644
index 364de814e02f9ab5e98e5cdeb7b43d9abfdc46ff..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-RouteSensor.png b/diagrams/12-repair/individual-Check-RouteSensor.png
deleted file mode 100644
index b73acbf02f3fb423d724192ff6b92c12f572ee55..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index be4247ccf71a690fbd96f620742a91d86af464b2..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Check-SemaphoreNeighbor.png
deleted file mode 100644
index 61df0111b026c049a0dbe285ab5bbb834769cb39..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SwitchMonitored.pdf b/diagrams/12-repair/individual-Check-SwitchMonitored.pdf
deleted file mode 100644
index 36530f44d5ab29309ff8bf76d67739f568c96564..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SwitchMonitored.png b/diagrams/12-repair/individual-Check-SwitchMonitored.png
deleted file mode 100644
index 3b6d3905bfbdfe9f37231244c8a8e2f5f88aa11a..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SwitchSet.pdf b/diagrams/12-repair/individual-Check-SwitchSet.pdf
deleted file mode 100644
index d0538f5fa8c650daf8aa7f50411b73090a1b4c97..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Check-SwitchSet.png b/diagrams/12-repair/individual-Check-SwitchSet.png
deleted file mode 100644
index ddadb26f456bd5aa2326044923ef59415d629b86..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-ConnectedSegments.pdf b/diagrams/12-repair/individual-Read-ConnectedSegments.pdf
deleted file mode 100644
index 130398e9ff623fd8f8e5d59b97255709f52b4c5e..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-ConnectedSegments.png b/diagrams/12-repair/individual-Read-ConnectedSegments.png
deleted file mode 100644
index e9bae82ba604f2cbe76e6d257c04143119e6fced..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-PosLength.pdf b/diagrams/12-repair/individual-Read-PosLength.pdf
deleted file mode 100644
index 94ee60c80c72ed045ce4f95b1a4618044dcecc05..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-PosLength.png b/diagrams/12-repair/individual-Read-PosLength.png
deleted file mode 100644
index 870d51ae0d6a938a6824c83d3865faedd83f25ba..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-RouteSensor.pdf b/diagrams/12-repair/individual-Read-RouteSensor.pdf
deleted file mode 100644
index 5ea251ac19b7064abb3c4c72f26ae465ded47035..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-RouteSensor.png b/diagrams/12-repair/individual-Read-RouteSensor.png
deleted file mode 100644
index 07e211a58f0d00f39f1301276f8404ffe9a64cf9..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Read-SemaphoreNeighbor.pdf
deleted file mode 100644
index cf013165decb723f0190368a863923c01bbd24e6..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Read-SemaphoreNeighbor.png
deleted file mode 100644
index bd3b5188895a87cb5d4dea0dd95dedfd49625a69..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SwitchMonitored.pdf b/diagrams/12-repair/individual-Read-SwitchMonitored.pdf
deleted file mode 100644
index 25041400babb6fd7f6d2ec5e0985c8a3e622a863..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SwitchMonitored.png b/diagrams/12-repair/individual-Read-SwitchMonitored.png
deleted file mode 100644
index 86603458a804a10ab5169df248280fbc6357bd8d..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SwitchSet.pdf b/diagrams/12-repair/individual-Read-SwitchSet.pdf
deleted file mode 100644
index cb29c4ee3712a2b1bcad1357d8b40bbe709e874f..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-SwitchSet.png b/diagrams/12-repair/individual-Read-SwitchSet.png
deleted file mode 100644
index 4540f56364694277661ec403d5f6a620aee495ba..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.pdf b/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.pdf
deleted file mode 100644
index 98ee6851abe315d5377b2bd4afb5dbb0e356c715..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.png b/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.png
deleted file mode 100644
index 3c54f53d9516031a5df6e91ce7d16c7d13c87cfc..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-PosLength.pdf b/diagrams/12-repair/individual-Read-and-Check-PosLength.pdf
deleted file mode 100644
index c4faeadd254c6dd3dbf2b9854d368549145c7a83..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-PosLength.png b/diagrams/12-repair/individual-Read-and-Check-PosLength.png
deleted file mode 100644
index 89b9d9e1a9799a60b83f9f1d8e4faad8271de75d..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-RouteSensor.pdf b/diagrams/12-repair/individual-Read-and-Check-RouteSensor.pdf
deleted file mode 100644
index 341ea1649285c4d7ea01c1c706b1fcb2de0f105f..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-RouteSensor.png b/diagrams/12-repair/individual-Read-and-Check-RouteSensor.png
deleted file mode 100644
index d2e852b7f8b18a6f86aa492b06191b586de9f713..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.pdf
deleted file mode 100644
index 850e5cd31bf7e9ccafc806400e6477769ca7a5f9..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.png
deleted file mode 100644
index 98c761bcaa843bc582ba29470c7c7eded6d786ba..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.pdf b/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.pdf
deleted file mode 100644
index 95068ab2d0af9063b16597687f1213e6e8a19294..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.png b/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.png
deleted file mode 100644
index 488b4f9f1baddbe8b0dd485a0e39b25b34f9770a..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SwitchSet.pdf b/diagrams/12-repair/individual-Read-and-Check-SwitchSet.pdf
deleted file mode 100644
index 69d2b8d3f23b25fd7c38aab78833e82159505840..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Read-and-Check-SwitchSet.png b/diagrams/12-repair/individual-Read-and-Check-SwitchSet.png
deleted file mode 100644
index 57807978ab200520143e1b5a916ef5067b8cc495..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Read-and-Check-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-ConnectedSegments.pdf b/diagrams/12-repair/individual-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index 61b53fd7ed236c6db3c2dfc26fca1c72e5cb15c8..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-ConnectedSegments.png b/diagrams/12-repair/individual-Recheck-ConnectedSegments.png
deleted file mode 100644
index f8c686c3724706675e3fe0aa701a8eac39bf6051..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-PosLength.pdf b/diagrams/12-repair/individual-Recheck-PosLength.pdf
deleted file mode 100644
index e2819ec4ca9b1355ab64005c3903d1272b22a4d2..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-PosLength.png b/diagrams/12-repair/individual-Recheck-PosLength.png
deleted file mode 100644
index 254f459cd4ef837c602681344e0178da5fe711ef..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-RouteSensor.pdf b/diagrams/12-repair/individual-Recheck-RouteSensor.pdf
deleted file mode 100644
index e80c3ba8e749397d1ca66eba168b167eb12223de..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-RouteSensor.png b/diagrams/12-repair/individual-Recheck-RouteSensor.png
deleted file mode 100644
index 00265d543470630af05dd67dd936a9564a768cb7..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index 0cb9423f3cae60b280f2c02e8c56421fdbfee1ad..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index 1a40192a525453680a7bccadc94f5125a5f1f525..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SwitchMonitored.pdf b/diagrams/12-repair/individual-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index f0356f9569662fd61b8d427d82cb407b53968cc1..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SwitchMonitored.png b/diagrams/12-repair/individual-Recheck-SwitchMonitored.png
deleted file mode 100644
index cc82e48065cd215a400bdbf304d09247f0376dc5..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SwitchSet.pdf b/diagrams/12-repair/individual-Recheck-SwitchSet.pdf
deleted file mode 100644
index a22c61799356f1898b1ecdf29ae82d890c3eeb6b..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Recheck-SwitchSet.png b/diagrams/12-repair/individual-Recheck-SwitchSet.png
deleted file mode 100644
index 30a79c677c32091a750cec186b4bae52348943a1..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Recheck-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-ConnectedSegments.pdf b/diagrams/12-repair/individual-Transformation-ConnectedSegments.pdf
deleted file mode 100644
index 119c60579f40684d7e6353401ddb2835b196dea4..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-ConnectedSegments.png b/diagrams/12-repair/individual-Transformation-ConnectedSegments.png
deleted file mode 100644
index cf8a529a10dc5e28d7bdd162870f52c33a9215d0..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-PosLength.pdf b/diagrams/12-repair/individual-Transformation-PosLength.pdf
deleted file mode 100644
index d12cccf82a28698b274a97d60786617f8d6c956e..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-PosLength.png b/diagrams/12-repair/individual-Transformation-PosLength.png
deleted file mode 100644
index ca742e01b41537e0c39eec5e2f1ea00221394c83..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-RouteSensor.pdf b/diagrams/12-repair/individual-Transformation-RouteSensor.pdf
deleted file mode 100644
index c82525beedc75ec27044d6b36f5b1d613e3ef90a..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-RouteSensor.png b/diagrams/12-repair/individual-Transformation-RouteSensor.png
deleted file mode 100644
index 95b29f449e3c40a471dc15e17e305ba138089715..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.pdf
deleted file mode 100644
index e572b0b302c116f1023a6066e6c3bb5aea6035f8..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.png
deleted file mode 100644
index 329285bda4c47fc4d3e283a5741aa26ff3d415e8..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SwitchMonitored.pdf b/diagrams/12-repair/individual-Transformation-SwitchMonitored.pdf
deleted file mode 100644
index 3cb2985960efa93295faeb9701d987a555c1c40c..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SwitchMonitored.png b/diagrams/12-repair/individual-Transformation-SwitchMonitored.png
deleted file mode 100644
index c3c6ee574fbbaebaa1ff092b76ff1f7600b99025..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SwitchSet.pdf b/diagrams/12-repair/individual-Transformation-SwitchSet.pdf
deleted file mode 100644
index 8656cfcf11e84e3bcde5f60a2526b7d0d063298c..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-SwitchSet.png b/diagrams/12-repair/individual-Transformation-SwitchSet.png
deleted file mode 100644
index 973056e3cfce660a91eea95b11dc384d02312c77..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-SwitchSet.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.pdf
deleted file mode 100644
index 1f643950222cbb52ff6792a3e7a7f0ae5efa59ef..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.png b/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.png
deleted file mode 100644
index 7db966a598e74c8f89fd8ba8477f3bf15eb418f9..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-ConnectedSegments.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.pdf
deleted file mode 100644
index 44a4bba55eb3e280ddc0368135d49fa44d471430..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.png b/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.png
deleted file mode 100644
index 5c7a11af32e948619766be59d60bdd101bd55f9e..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-PosLength.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.pdf
deleted file mode 100644
index 99aa156d0dbc28f46cc4775158c2110e0b088ec9..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.png b/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.png
deleted file mode 100644
index 959366124bd6754a771e9afdbd006fc05cd57b61..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-RouteSensor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf
deleted file mode 100644
index ef725145efb9b5016e6578fc45008d69ce1e024c..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.png b/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.png
deleted file mode 100644
index c127cd8d54fa4070d8f74c0ffa88c25f959024c6..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SemaphoreNeighbor.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.pdf
deleted file mode 100644
index 6b42a2689f3d0ee4572798cbc4ea8721296fac60..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.png b/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.png
deleted file mode 100644
index 39fea8da1dbe4d8934fff536ee394fb31baf88be..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchMonitored.png and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.pdf b/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.pdf
deleted file mode 100644
index 3d74932adc18db9445497176f3ca52cec1ae8dbe..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.pdf and /dev/null differ
diff --git a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.png b/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.png
deleted file mode 100644
index 3cc30eace8c588d4666f939e8dd2c29479d24f68..0000000000000000000000000000000000000000
Binary files a/diagrams/12-repair/individual-Transformation-and-Recheck-SwitchSet.png and /dev/null differ