diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
index 6ecdbc212..e0ee0fd5e 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
@@ -230,6 +230,7 @@
         <property id="4237758264760168561" name="bugfixNr" index="1lNJF1" />
         <child id="6845119683729337285" name="progressY" index="27hAJg" />
         <child id="6845119683729294884" name="progressColor" index="27hGoL" />
+        <child id="6845119683729280452" name="icon" index="27igRh" />
         <child id="7962467864633062782" name="progressHeight" index="2gqIGF" />
         <child id="922958177840117051" name="script" index="2gvbiD" />
         <child id="6108265972537182997" name="aboutScreen" index="2EqU2s" />
@@ -243,6 +244,8 @@
         <child id="781140262677914381" name="company" index="IuKBz" />
         <child id="3497141547781549827" name="codename" index="2OjNyQ" />
         <child id="1462305029084462472" name="buildDate" index="R$TG_" />
+        <child id="62678610895108195" name="svg_small" index="1hH5mY" />
+        <child id="62678610895108142" name="svg" index="1hH5nN" />
         <child id="772379520210716142" name="welcomeLogo" index="3vi$VU" />
         <child id="437343344536486297" name="help" index="1xUO3H" />
         <child id="5894421362117323157" name="support" index="3$HL_E" />
@@ -345,7 +348,7 @@
         <node concept="2Ry0Ak" id="51uLzzZ6tyC" role="iGT6I">
           <property role="2Ry0Am" value=".." />
           <node concept="2Ry0Ak" id="3Sfdbyg_LZt" role="2Ry0An">
-            <property role="2Ry0Am" value="MPS_2022_2_2" />
+            <property role="2Ry0Am" value="MPS_2023_2_2" />
           </node>
         </node>
       </node>
@@ -16063,7 +16066,7 @@
     <node concept="2kB4xC" id="wUJmWCxY0a" role="1l3spd">
       <property role="TrG5h" value="build.date" />
       <node concept="hHN3E" id="wUJmWCxY0b" role="aVJcv">
-        <property role="hHN3Y" value="20240104" />
+        <property role="hHN3Y" value="20241107" />
       </node>
     </node>
     <node concept="2kB4xC" id="wUJmWCxY0c" role="1l3spd">
@@ -16071,7 +16074,7 @@
       <node concept="aVJcg" id="wUJmWCxY0d" role="aVJcv">
         <node concept="NbPM2" id="wUJmWCxY0e" role="aVJcq">
           <node concept="3Mxwew" id="wUJmWCxY0f" role="3MwsjC">
-            <property role="3MwjfP" value="FASTEN-222.SNAPSHOT" />
+            <property role="3MwjfP" value="FASTEN-232.SNAPSHOT" />
           </node>
         </node>
       </node>
@@ -16094,7 +16097,7 @@
         <node concept="2Ry0Ak" id="7YjSMFl$i24" role="iGT6I">
           <property role="2Ry0Am" value=".." />
           <node concept="2Ry0Ak" id="3SfdbygrgG8" role="2Ry0An">
-            <property role="2Ry0Am" value="MPS_2022_2_2" />
+            <property role="2Ry0Am" value="MPS_2023_2_2" />
           </node>
         </node>
       </node>
@@ -16194,7 +16197,7 @@
       <node concept="aVJcg" id="wUJmWCxY0I" role="aVJcv">
         <node concept="NbPM2" id="wUJmWCxY0J" role="aVJcq">
           <node concept="3Mxwew" id="wUJmWCxY0K" role="3MwsjC">
-            <property role="3MwjfP" value="2024-01-04" />
+            <property role="3MwjfP" value="2024-11-07" />
           </node>
         </node>
       </node>
@@ -16544,6 +16547,33 @@
         <node concept="NbPM2" id="1TD_kqsGBKy" role="3ZAF11" />
         <node concept="NbPM2" id="1TD_kqsGBKz" role="3ZAF12" />
       </node>
+      <node concept="398BVA" id="7khq58x81AK" role="27igRh">
+        <ref role="398BVh" node="wUJmWCxY0q" resolve="rcp.resources" />
+        <node concept="2Ry0Ak" id="7khq58x81AL" role="iGT6I">
+          <property role="2Ry0Am" value="icons" />
+          <node concept="2Ry0Ak" id="7khq58x81AM" role="2Ry0An">
+            <property role="2Ry0Am" value="fasten32.png" />
+          </node>
+        </node>
+      </node>
+      <node concept="398BVA" id="7khq58x81AN" role="1hH5nN">
+        <ref role="398BVh" node="wUJmWCxY0q" resolve="rcp.resources" />
+        <node concept="2Ry0Ak" id="7khq58x81AO" role="iGT6I">
+          <property role="2Ry0Am" value="icons" />
+          <node concept="2Ry0Ak" id="7khq58x81AP" role="2Ry0An">
+            <property role="2Ry0Am" value="fasten32.svg" />
+          </node>
+        </node>
+      </node>
+      <node concept="398BVA" id="7khq58x81AQ" role="1hH5mY">
+        <ref role="398BVh" node="wUJmWCxY0q" resolve="rcp.resources" />
+        <node concept="2Ry0Ak" id="7khq58x81AR" role="iGT6I">
+          <property role="2Ry0Am" value="icons" />
+          <node concept="2Ry0Ak" id="7khq58x81AT" role="2Ry0An">
+            <property role="2Ry0Am" value="fasten16.svg" />
+          </node>
+        </node>
+      </node>
     </node>
     <node concept="2sgV4H" id="wUJmWCzf46" role="1l3spa">
       <ref role="1l3spb" to="ffeo:3IKDaVZmzS6" resolve="mps" />
@@ -16977,6 +17007,12 @@
             <node concept="3_I8Xc" id="3ZV5FZJFBbM" role="39821P">
               <ref role="3_I8Xa" to="ffeo:6b4RkXS7XdG" resolve="mps-build" />
             </node>
+            <node concept="3_I8Xc" id="7khq58xcrlD" role="39821P">
+              <ref role="3_I8Xa" to="90a9:2IcGFIaJVAA" resolve="MPS.Kotlin" />
+            </node>
+            <node concept="3_I8Xc" id="7khq58xgP5p" role="39821P">
+              <ref role="3_I8Xa" to="90a9:6bkzxtWPMLl" resolve="de.itemis.stubs.batik" />
+            </node>
             <node concept="3_I8Xc" id="5ehf6dVy_Rd" role="39821P">
               <ref role="3_I8Xa" to="ffeo:4wxeloVufXE" resolve="mps-git4idea" />
             </node>
diff --git a/rcp_resources/bin/fasten.bat b/rcp_resources/bin/fasten.bat
index 1a41ef6f6..7ac35753f 100644
--- a/rcp_resources/bin/fasten.bat
+++ b/rcp_resources/bin/fasten.bat
@@ -4,14 +4,14 @@
 :: JetBrains MPS startup script.
 :: Generated by MPS
 ::----------------------------------------------------------------------
-SET IDEA_PATHS_SELECTOR=MPS2022.2
-SET PRODUCT=MPS
+SET IDEA_PATHS_SELECTOR=MPS2023.2
+SET PRODUCT=mps
 
 :: ---------------------------------------------------------------------
 :: Ensure IDE_HOME points to the directory where the IDE is installed.
 :: ---------------------------------------------------------------------
 SET IDE_BIN_DIR=%~dp0
-FOR /F "delims=" %%i in ("%IDE_BIN_DIR%\..") DO SET IDE_HOME=%%~fi
+FOR /F "delims=" %%i in ("%IDE_BIN_DIR%\..") DO SET "IDE_HOME=%%~fi"
 
 IF "%IDE_BIN_DIR:~-8%" == "bin\win\" (
   echo.
@@ -31,34 +31,30 @@ IF "%IDE_BIN_DIR:~-8%" == "bin\win\" (
 SET JDK=
 SET IDEA_VENDOR_NAME=JetBrains
 
-IF EXIST "%MPS_JDK%" SET JDK=%MPS_JDK%
+IF EXIST "%MPS_JDK%" SET "JDK=%MPS_JDK%"
 IF EXIST "%JDK%" GOTO check
 
 SET BITS=64
-SET USER_JDK64_FILE=%APPDATA%\%IDEA_VENDOR_NAME%\MPS2022.2\mps%BITS%.exe.jdk
+SET USER_JDK64_FILE=%APPDATA%\%IDEA_VENDOR_NAME%\MPS2023.2\mps%BITS%.exe.jdk
 SET BITS=
-SET USER_JDK_FILE=%APPDATA%\%IDEA_VENDOR_NAME%\MPS2022.2\mps%BITS%.exe.jdk
+SET USER_JDK_FILE=%APPDATA%\%IDEA_VENDOR_NAME%\MPS2023.2\mps%BITS%.exe.jdk
 IF EXIST "%USER_JDK64_FILE%" (
   SET /P JDK=<%USER_JDK64_FILE%
 ) ELSE (
   IF EXIST "%USER_JDK_FILE%" SET /P JDK=<%USER_JDK_FILE%
 )
 IF NOT "%JDK%" == "" (
-  IF NOT EXIST "%JDK%" SET JDK="%IDE_HOME%\%JDK%"
+  IF NOT EXIST "%JDK%" SET "JDK=%IDE_HOME%\%JDK%"
   IF EXIST "%JDK%" GOTO check
 )
 
-IF "%PROCESSOR_ARCHITECTURE%" == "AMD64" (
-  IF EXIST "%IDE_HOME%\jbr" SET JDK=%IDE_HOME%\jbr
-  IF EXIST "%JDK%" GOTO check
-)
-IF EXIST "%IDE_HOME%\jbr-x86" SET JDK=%IDE_HOME%\jbr-x86
+IF EXIST "%IDE_HOME%\jbr" SET "JDK=%IDE_HOME%\jbr"
 IF EXIST "%JDK%" GOTO check
 
-IF EXIST "%JDK_HOME%" SET JDK=%JDK_HOME%
+IF EXIST "%JDK_HOME%" SET "JDK=%JDK_HOME%"
 IF EXIST "%JDK%" GOTO check
 
-IF EXIST "%JAVA_HOME%" SET JDK=%JAVA_HOME%
+IF EXIST "%JAVA_HOME%" SET "JDK=%JAVA_HOME%"
 
 :check
 SET JAVA_EXE=%JDK%\bin\javaw.exe
@@ -69,7 +65,7 @@ IF NOT EXIST "%JAVA_EXE%" (
 )
 
 SET JRE=%JDK%
-IF EXIST "%JRE%\jre" SET JRE=%JDK%\jre
+IF EXIST "%JRE%\jre" SET "JRE=%JDK%\jre"
 
 SET BITS=
 FINDSTR /B /C:"OS_ARCH=\"x86_64\"" "%JRE%\release" > NUL
@@ -131,7 +127,7 @@ IF "%VM_OPTIONS_FILE%%USER_VM_OPTIONS_FILE%" == "" (
 
 
 SET COMMON_JVM_ARGS="-XX:ErrorFile=%USERPROFILE%\java_error_in_%PRODUCT%_%%p.log" "-XX:HeapDumpPath=%USERPROFILE%\java_error_in_%PRODUCT%.hprof" -Didea.paths.selector=%IDEA_PATHS_SELECTOR% -Didea.vendor.name="%IDEA_VENDOR_NAME%" %IDE_PROPERTIES_PROPERTY%
-SET IDE_JVM_ARGS=-Didea.platform.prefix=Idea -Didea.jre.check=true -Djava.system.class.loader=com.intellij.util.lang.PathClassLoader
+SET IDE_JVM_ARGS=-Didea.platform.prefix=Idea -Didea.jre.check=true -Dpty4j.preferred.native.folder="%IDE_HOME%/lib/pty4j" -Djna.boot.library.path="%IDE_HOME%/lib/jna" -Djava.system.class.loader=com.intellij.util.lang.PathClassLoader
 SET ALL_JVM_ARGS=%ACC% %COMMON_JVM_ARGS% %IDE_JVM_ARGS%
 
 SET CLASS_PATH=%IDE_HOME%\lib\*
@@ -147,7 +143,7 @@ start "" "%JAVA_EXE%" ^
   %ALL_JVM_ARGS% ^
   -Didea.main.class.name=%MAIN_CLASS% ^
   -cp "%CLASS_PATH%" ^
-  --add-opens=java.base/java.io=ALL-UNNAMED --add-opens=java.base/java.lang=ALL-UNNAMED --add-opens=java.base/java.lang.reflect=ALL-UNNAMED --add-opens=java.base/java.net=ALL-UNNAMED --add-opens=java.base/java.nio=ALL-UNNAMED --add-opens=java.base/java.nio.charset=ALL-UNNAMED --add-opens=java.base/java.text=ALL-UNNAMED --add-opens=java.base/java.time=ALL-UNNAMED --add-opens=java.base/java.util=ALL-UNNAMED --add-opens=java.base/java.util.concurrent=ALL-UNNAMED --add-opens=java.base/java.util.concurrent.atomic=ALL-UNNAMED --add-opens=java.base/jdk.internal.vm=ALL-UNNAMED --add-opens=java.base/sun.nio.ch=ALL-UNNAMED --add-opens=java.base/sun.security.ssl=ALL-UNNAMED --add-opens=java.base/sun.security.util=ALL-UNNAMED --add-opens=java.desktop/java.awt=ALL-UNNAMED --add-opens=java.desktop/java.awt.dnd.peer=ALL-UNNAMED --add-opens=java.desktop/java.awt.event=ALL-UNNAMED --add-opens=java.desktop/java.awt.image=ALL-UNNAMED --add-opens=java.desktop/java.awt.peer=ALL-UNNAMED --add-opens=java.desktop/javax.swing=ALL-UNNAMED --add-opens=java.desktop/javax.swing.plaf.basic=ALL-UNNAMED --add-opens=java.desktop/javax.swing.text.html=ALL-UNNAMED --add-opens=java.desktop/sun.awt.datatransfer=ALL-UNNAMED --add-opens=java.desktop/sun.awt.image=ALL-UNNAMED --add-opens=java.desktop/sun.awt=ALL-UNNAMED --add-opens=java.desktop/sun.font=ALL-UNNAMED --add-opens=java.desktop/sun.java2d=ALL-UNNAMED --add-opens=java.desktop/sun.swing=ALL-UNNAMED --add-opens=jdk.attach/sun.tools.attach=ALL-UNNAMED --add-opens=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED --add-opens=jdk.internal.jvmstat/sun.jvmstat.monitor=ALL-UNNAMED --add-opens=jdk.jdi/com.sun.tools.jdi=ALL-UNNAMED --add-opens=java.desktop/sun.awt.windows=ALL-UNNAMED ^
+  --add-opens=java.base/java.io=ALL-UNNAMED --add-opens=java.base/java.lang=ALL-UNNAMED --add-opens=java.base/java.lang.reflect=ALL-UNNAMED --add-opens=java.base/java.net=ALL-UNNAMED --add-opens=java.base/java.nio=ALL-UNNAMED --add-opens=java.base/java.nio.charset=ALL-UNNAMED --add-opens=java.base/java.text=ALL-UNNAMED --add-opens=java.base/java.time=ALL-UNNAMED --add-opens=java.base/java.util=ALL-UNNAMED --add-opens=java.base/java.util.concurrent=ALL-UNNAMED --add-opens=java.base/java.util.concurrent.atomic=ALL-UNNAMED --add-opens=java.base/jdk.internal.vm=ALL-UNNAMED --add-opens=java.base/sun.nio.ch=ALL-UNNAMED --add-opens=java.base/sun.nio.fs=ALL-UNNAMED --add-opens=java.base/sun.security.ssl=ALL-UNNAMED --add-opens=java.base/sun.security.util=ALL-UNNAMED --add-opens=java.desktop/java.awt=ALL-UNNAMED --add-opens=java.desktop/java.awt.dnd.peer=ALL-UNNAMED --add-opens=java.desktop/java.awt.event=ALL-UNNAMED --add-opens=java.desktop/java.awt.image=ALL-UNNAMED --add-opens=java.desktop/java.awt.peer=ALL-UNNAMED --add-opens=java.desktop/javax.swing=ALL-UNNAMED --add-opens=java.desktop/javax.swing.plaf.basic=ALL-UNNAMED --add-opens=java.desktop/javax.swing.text.html=ALL-UNNAMED --add-opens=java.desktop/sun.awt.datatransfer=ALL-UNNAMED --add-opens=java.desktop/sun.awt.image=ALL-UNNAMED --add-opens=java.desktop/sun.awt=ALL-UNNAMED --add-opens=java.desktop/sun.font=ALL-UNNAMED --add-opens=java.desktop/sun.java2d=ALL-UNNAMED --add-opens=java.desktop/sun.swing=ALL-UNNAMED --add-opens=jdk.attach/sun.tools.attach=ALL-UNNAMED --add-opens=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED --add-opens=jdk.internal.jvmstat/sun.jvmstat.monitor=ALL-UNNAMED --add-opens=jdk.jdi/com.sun.tools.jdi=ALL-UNNAMED --add-opens=java.desktop/sun.awt.windows=ALL-UNNAMED ^
   %MAIN_CLASS% ^
   %*
 
diff --git a/rcp_resources/icons/fasten16.svg b/rcp_resources/icons/fasten16.svg
new file mode 100644
index 000000000..aea999826
--- /dev/null
+++ b/rcp_resources/icons/fasten16.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" viewBox="0 0 16 16" version="1.1"><path d="M 8.926 6.401 C 7.204 9.319, 6.492 9.823, 5.385 8.905 C 4.561 8.221, 4 8.160, 4 8.755 C 4 9.844, 6.863 12.531, 7.343 11.893 C 9.007 9.681, 11.970 3.637, 11.581 3.248 C 11.306 2.973, 10.111 4.392, 8.926 6.401" stroke="none" fill="#b8b0b0" fill-rule="evenodd"/><path d="M 0 8.040 L 0 16.081 8.250 15.790 L 16.500 15.500 16.792 7.750 L 17.084 0 8.542 0 L 0 0 0 8.040 M 0.343 8.500 C 0.346 12.900, 0.522 14.576, 0.733 12.224 C 0.945 9.872, 0.942 6.272, 0.727 4.224 C 0.512 2.176, 0.339 4.100, 0.343 8.500 M 8.926 6.401 C 7.204 9.319, 6.492 9.823, 5.385 8.905 C 4.561 8.221, 4 8.160, 4 8.755 C 4 9.844, 6.863 12.531, 7.343 11.893 C 9.007 9.681, 11.970 3.637, 11.581 3.248 C 11.306 2.973, 10.111 4.392, 8.926 6.401" stroke="none" fill="#88242c" fill-rule="evenodd"/></svg>
\ No newline at end of file
diff --git a/rcp_resources/icons/fasten32.svg b/rcp_resources/icons/fasten32.svg
new file mode 100644
index 000000000..1d0a0f0ad
--- /dev/null
+++ b/rcp_resources/icons/fasten32.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="32" height="32" viewBox="0 0 32 32" version="1.1"><path d="M 20.730 8.750 C 19.861 9.713, 17.856 12.975, 16.274 16 L 13.398 21.500 11.290 19 C 10.131 17.625, 8.837 16.842, 8.414 17.260 C 7.657 18.010, 12.700 24, 14.089 24 C 14.483 24, 15.284 22.624, 15.870 20.942 C 16.457 19.261, 18.207 15.998, 19.760 13.692 C 23.968 7.445, 24.198 7, 23.214 7 C 22.717 7, 21.599 7.787, 20.730 8.750" stroke="none" fill="#cacaca" fill-rule="evenodd"/><path d="M 0 16.025 L 0 32.050 16.250 31.775 L 32.500 31.500 32.775 15.750 L 33.051 0 16.525 0 L 0 0 0 16.025 M 0.405 16.500 C 0.406 25.300, 0.559 28.766, 0.745 24.203 C 0.930 19.639, 0.929 12.439, 0.742 8.203 C 0.555 3.966, 0.404 7.700, 0.405 16.500 M 20.730 8.750 C 19.861 9.713, 17.856 12.975, 16.274 16 L 13.398 21.500 11.290 19 C 10.131 17.625, 8.837 16.842, 8.414 17.260 C 7.657 18.010, 12.700 24, 14.089 24 C 14.483 24, 15.284 22.624, 15.870 20.942 C 16.457 19.261, 18.207 15.998, 19.760 13.692 C 23.968 7.445, 24.198 7, 23.214 7 C 22.717 7, 21.599 7.787, 20.730 8.750" stroke="none" fill="#9e0523" fill-rule="evenodd"/></svg>
\ No newline at end of file