diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/Key.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/Key.svg
index 8c13255e7b07d523750b3652e2e5d5c695627a81..bf350d32eb9baf1b74cef6f4d1c2b6c9a470b777 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/Key.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/Key.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht.svg
index 5783391e1c7032703afaa670e9f982733a3c5da4..86b03459cf1a748f9312d5703002d673185f0bfa 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v2.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v2.svg
index 13a409a539440ce44377789691d6eac225418fa4..3334918b2e203790901ee585a8430d5796c6fabb 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v2.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v2.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v3.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v3.svg
index 520635cdef35e2cd784d0c4f443311d70eba9f82..ebf4ef03d5d3a20383bbd5b15859ff0263c8c3b3 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v3.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v3.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v4.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v4.svg
index 0c1ccfcc84d9835ab3394bbdcfd40786a92416fd..50ec73dff559b7f4f775012aaa2ecaa9f693c859 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v4.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v4.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v5.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v5.svg
index 686292b59527b1ba81df885a1a557ddf301186ed..d01425d9aa04f08426122a380cbc5d4470dca3b6 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v5.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/LichtUebersicht_v5.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/src/test/resources/de/hhu/stups/codegenerator/visualisation/lift_groups.svg b/src/test/resources/de/hhu/stups/codegenerator/visualisation/lift_groups.svg
index cbd4499cba357e6855ead249b2706cd9f9f83dae..e561b5837b6b11814a17cccd8724094e8adba878 100755
--- a/src/test/resources/de/hhu/stups/codegenerator/visualisation/lift_groups.svg
+++ b/src/test/resources/de/hhu/stups/codegenerator/visualisation/lift_groups.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From ProB Examples -->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/Key.svg b/visualizations/LightModel/Key.svg
index 8c13255e7b07d523750b3652e2e5d5c695627a81..bf350d32eb9baf1b74cef6f4d1c2b6c9a470b777 100644
--- a/visualizations/LightModel/Key.svg
+++ b/visualizations/LightModel/Key.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/LichtUebersicht.svg b/visualizations/LightModel/LichtUebersicht.svg
index 5783391e1c7032703afaa670e9f982733a3c5da4..86b03459cf1a748f9312d5703002d673185f0bfa 100644
--- a/visualizations/LightModel/LichtUebersicht.svg
+++ b/visualizations/LightModel/LichtUebersicht.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/LichtUebersicht_v2.svg b/visualizations/LightModel/LichtUebersicht_v2.svg
index 13a409a539440ce44377789691d6eac225418fa4..3334918b2e203790901ee585a8430d5796c6fabb 100644
--- a/visualizations/LightModel/LichtUebersicht_v2.svg
+++ b/visualizations/LightModel/LichtUebersicht_v2.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/LichtUebersicht_v3.svg b/visualizations/LightModel/LichtUebersicht_v3.svg
index 520635cdef35e2cd784d0c4f443311d70eba9f82..ebf4ef03d5d3a20383bbd5b15859ff0263c8c3b3 100644
--- a/visualizations/LightModel/LichtUebersicht_v3.svg
+++ b/visualizations/LightModel/LichtUebersicht_v3.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/LichtUebersicht_v4.svg b/visualizations/LightModel/LichtUebersicht_v4.svg
index 3fb43552c49b6c554f2b233cf75851e06d497806..0b08b7e9a734dfbf75e1fc72c322d3bc0e1f6f31 100644
--- a/visualizations/LightModel/LichtUebersicht_v4.svg
+++ b/visualizations/LightModel/LichtUebersicht_v4.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"
diff --git a/visualizations/LightModel/LichtUebersicht_v5.svg b/visualizations/LightModel/LichtUebersicht_v5.svg
index 686292b59527b1ba81df885a1a557ddf301186ed..d01425d9aa04f08426122a380cbc5d4470dca3b6 100644
--- a/visualizations/LightModel/LichtUebersicht_v5.svg
+++ b/visualizations/LightModel/LichtUebersicht_v5.svg
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- From M. Leuschel, M. Mutz, and M. Werth. Modelling and Validating an Automotive System in Classical B and Event-B. In Proceedings ABZ, LNCS 12071, pages 335–350, 2020. !-->
 <svg
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:cc="http://creativecommons.org/ns#"