From e6541ba4affeb1484fd1a0bb5a59ca7bbfb0255e Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Sun, 24 Nov 2024 21:08:24 +0100
Subject: [PATCH] Update information on SVG files

---
 .../resources/de/hhu/stups/codegenerator/visualisation/Key.svg   | 1 +
 .../de/hhu/stups/codegenerator/visualisation/LichtUebersicht.svg | 1 +
 .../hhu/stups/codegenerator/visualisation/LichtUebersicht_v2.svg | 1 +
 .../hhu/stups/codegenerator/visualisation/LichtUebersicht_v3.svg | 1 +
 .../hhu/stups/codegenerator/visualisation/LichtUebersicht_v4.svg | 1 +
 .../hhu/stups/codegenerator/visualisation/LichtUebersicht_v5.svg | 1 +
 .../de/hhu/stups/codegenerator/visualisation/lift_groups.svg     | 1 +
 visualizations/LightModel/Key.svg                                | 1 +
 visualizations/LightModel/LichtUebersicht.svg                    | 1 +
 visualizations/LightModel/LichtUebersicht_v2.svg                 | 1 +
 visualizations/LightModel/LichtUebersicht_v3.svg                 | 1 +
 visualizations/LightModel/LichtUebersicht_v4.svg                 | 1 +
 visualizations/LightModel/LichtUebersicht_v5.svg                 | 1 +
 13 files changed, 13 insertions(+)

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 8c13255e7..bf350d32e 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 5783391e1..86b03459c 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 13a409a53..3334918b2 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 520635cde..ebf4ef03d 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 0c1ccfcc8..50ec73dff 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 686292b59..d01425d9a 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 cbd4499cb..e561b5837 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 8c13255e7..bf350d32e 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 5783391e1..86b03459c 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 13a409a53..3334918b2 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 520635cde..ebf4ef03d 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 3fb43552c..0b08b7e9a 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 686292b59..d01425d9a 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#"
-- 
GitLab