diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 9bd1a8292ad150981f00945440f234a97e5f65b2..f1143fa106dd786fa99ec61206f9f13e5106be69 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -11,11 +11,9 @@ fully automatic animation of many B specifications, and can be
 used to systematically check a specification for errors.
 Part of the research and development was conducted within the
 EPSRC funded projects ABCD and iMoc, and within the EU funded
-project Rodin.
-Development is continued under the EU funded project Deploy and
-the DFG project Gepavas.
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
 ProB has been successfully used on various industrial specifications
-and is now being used within Siemens.
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 373bcd998c55e5d2199b92ebdb13d0e0effd1ef0..8bf97665b5471b0394d6eaecef3744d51e505d3b 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -6,10 +6,14 @@
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-      ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors. 
-Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin. 
-Development is continued under the EU funded project Deploy and the DFG project Gepavas. 
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+      ProB is an animator and model checker for the B-Method. It allows
+fully automatic animation of many B specifications, and can be
+used to systematically check a specification for errors.
+Part of the research and development was conducted within the
+EPSRC funded projects ABCD and iMoc, and within the EU funded
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
+ProB has been successfully used on various industrial specifications
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8143cfdf38cb3e7e9e211ec7a19a457e508643c0..4765de44fa5e1b64c3f2c000bb7690433163d76d 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -11,11 +11,9 @@ fully automatic animation of many B specifications, and can be
 used to systematically check a specification for errors.
 Part of the research and development was conducted within the
 EPSRC funded projects ABCD and iMoc, and within the EU funded
-project Rodin.
-Development is continued under the EU funded project Deploy and
-the DFG project Gepavas.
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
 ProB has been successfully used on various industrial specifications
-and is now being used within Siemens.
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 73fb1c8e6a78d1407d490517bc8ce934fbba60b8..2930570ea75b8f7727fd558c31af288d2721ff18 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -6,10 +6,14 @@
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-      ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors.
-Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin.
-Development is continued under the EU funded project Deploy and the DFG project Gepavas.
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+      ProB is an animator and model checker for the B-Method. It allows
+fully automatic animation of many B specifications, and can be
+used to systematically check a specification for errors.
+Part of the research and development was conducted within the
+EPSRC funded projects ABCD and iMoc, and within the EU funded
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
+ProB has been successfully used on various industrial specifications
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>