From 51c72d1127c23f50b5a4e1fd6ae8366cc866f5aa Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Fri, 14 Sep 2018 20:48:36 +0200
Subject: [PATCH] rcp: added rcp.pluginSolution

---
 .../com.mbeddr.formal.nusmv/.mps/modules.xml  |   1 +
 .../models/com.mbeddr.formal.nusmv.build.mps  | 492 +++++++++++++++---
 .../models/plugin.mps                         |   5 -
 .../com.mbeddr.formal.rcp.pluginSolution.msd  |  45 ++
 .../models/plugin.mps                         | 394 ++++++++++++++
 5 files changed, 861 insertions(+), 76 deletions(-)
 create mode 100644 code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd
 create mode 100644 code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps

diff --git a/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml b/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
index 114cf9cba..e84d1a153 100644
--- a/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
+++ b/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
@@ -27,6 +27,7 @@
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd" folder="lang" />
+      <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd" folder="lang" />
       <modulePath path="$PROJECT_DIR$/tests/com.mbeddr.formal.nusmv.sandbox/com.mbeddr.formal.nusmv.sandbox.msd" folder="tests" />
       <modulePath path="$PROJECT_DIR$/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd" folder="tests" />
     </projectModules>
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
index e07d7bea6..fce96a885 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
@@ -242,12 +242,12 @@
       </node>
       <node concept="3_J27D" id="42jqVeFkUt_" role="2EtHGT">
         <node concept="3Mxwew" id="42jqVeFkUtA" role="3MwsjC">
-          <property role="3MwjfP" value="Formal Specification Environment" />
+          <property role="3MwjfP" value="FormAl SpecificaTion ENvironment" />
         </node>
       </node>
       <node concept="NbPM2" id="42jqVeFkUtB" role="2OjNyQ">
         <node concept="3Mxwew" id="42jqVeFkUtC" role="3MwsjC">
-          <property role="3MwjfP" value="mbeddr.formal.nusmv" />
+          <property role="3MwjfP" value="FASTEN" />
         </node>
       </node>
       <node concept="3_J27D" id="42jqVeFkUtD" role="HFo83">
@@ -274,12 +274,12 @@
       <node concept="IuM$Q" id="3ZV5FZJBiRm" role="IuKBz">
         <node concept="3_J27D" id="3ZV5FZJBiRn" role="IuM$f">
           <node concept="3Mxwew" id="3ZV5FZJBiWP" role="3MwsjC">
-            <property role="3MwjfP" value="mbeddr.formal.nusvm" />
+            <property role="3MwjfP" value="FASTEN" />
           </node>
         </node>
         <node concept="3_J27D" id="3ZV5FZJBiRo" role="IuM$c">
           <node concept="3Mxwew" id="3ZV5FZJBj2g" role="3MwsjC">
-            <property role="3MwjfP" value="www.mbeddr.com" />
+            <property role="3MwjfP" value="https://sites.google.com/site/fastenroot/" />
           </node>
         </node>
         <node concept="NbPM2" id="6adXBxxUzpg" role="3fQQh0">
@@ -347,7 +347,7 @@
     <node concept="2kB4xC" id="42jqVeFkUte" role="1l3spd">
       <property role="TrG5h" value="date" />
       <node concept="hHN3E" id="42jqVeFkUtf" role="aVJcv">
-        <property role="hHN3Y" value="20180801" />
+        <property role="hHN3Y" value="20180909" />
       </node>
     </node>
     <node concept="2kB4xC" id="42jqVeFkUtg" role="1l3spd">
@@ -355,7 +355,7 @@
       <node concept="aVJcg" id="42jqVeFkUth" role="aVJcv">
         <node concept="NbPM2" id="42jqVeFkUti" role="aVJcq">
           <node concept="3Mxwew" id="42jqVeFkUtj" role="3MwsjC">
-            <property role="3MwjfP" value="com.mbeddr.formal.nusmv-181.SNAPSHOT" />
+            <property role="3MwjfP" value="com.mbeddr.formal.nusmv-182.SNAPSHOT" />
           </node>
         </node>
       </node>
@@ -376,7 +376,7 @@
       <node concept="398BVA" id="42jqVeFkVem" role="398pKh">
         <ref role="398BVh" node="42jqVeFkUG2" resolve="d" />
         <node concept="2Ry0Ak" id="6adXBxxVRT2" role="iGT6I">
-          <property role="2Ry0Am" value="MPS_2018_1_4_mbeddr_formal" />
+          <property role="2Ry0Am" value="MPS_2018_2_1_mbeddr_formal" />
         </node>
       </node>
     </node>
@@ -418,7 +418,7 @@
       <node concept="aVJcg" id="4aeOpjlAysR" role="aVJcv">
         <node concept="NbPM2" id="4aeOpjlAysQ" role="aVJcq">
           <node concept="3Mxwew" id="4aeOpjlAysP" role="3MwsjC">
-            <property role="3MwjfP" value="2018-08-01" />
+            <property role="3MwjfP" value="2018-09-09" />
           </node>
         </node>
       </node>
@@ -444,8 +444,8 @@
         <node concept="2Ry0Ak" id="4aeOpjlBV61" role="iGT6I">
           <property role="2Ry0Am" value="artifacts" />
           <node concept="2Ry0Ak" id="4aeOpjlBV6c" role="2Ry0An">
-            <property role="2Ry0Am" value="platform_2018_1" />
-            <node concept="2Ry0Ak" id="4aeOpjlBV6s" role="2Ry0An">
+            <property role="2Ry0Am" value="platform_2018_2" />
+            <node concept="2Ry0Ak" id="2fVi_y_GC" role="2Ry0An">
               <property role="2Ry0Am" value="plugins" />
             </node>
           </node>
@@ -610,7 +610,7 @@
             </node>
           </node>
           <node concept="1zDrgl" id="42jqVeFkUvE" role="39821P">
-            <ref role="1zDrgn" node="42jqVeFkUtq" resolve="Formal Specification Environment 1.0" />
+            <ref role="1zDrgn" node="42jqVeFkUtq" resolve="FormAl SpecificaTion ENvironment 1.0" />
           </node>
         </node>
       </node>
@@ -955,15 +955,18 @@
         <node concept="3LEDTy" id="4Hts7PYHama" role="3LEDUa">
           <ref role="3LEDTV" node="42jqVeFkUuz" resolve="com.mbeddr.formal.nusmv.tests" />
         </node>
-        <node concept="3LEDTy" id="6adXBxxUvq5" role="3LEDUa">
-          <ref role="3LEDTV" node="6adXBxxUu$i" resolve="com.mbeddr.formal.nusmv.importer" />
-        </node>
         <node concept="3LEDTy" id="6adXBxxUxkS" role="3LEDUa">
           <ref role="3LEDTV" node="Kom1UAN72k" resolve="com.mbeddr.formal.nusmv.operatorspanel" />
         </node>
         <node concept="3LEDTy" id="6adXBxxZrp6" role="3LEDUa">
           <ref role="3LEDTV" to="al5i:Vtr7jyAKU4" resolve="com.mbeddr.mpsutil.filepicker" />
         </node>
+        <node concept="3LEDTy" id="5yQpAUIgPhS" role="3LEDUa">
+          <ref role="3LEDTV" node="5yQpAUIgOcH" resolve="com.mbeddr.formal.nusmv.cbd" />
+        </node>
+        <node concept="3LEDTy" id="5yQpAUIgPII" role="3LEDUa">
+          <ref role="3LEDTV" node="6adXBxxUu$i" resolve="com.mbeddr.formal.nusmv.importer" />
+        </node>
       </node>
     </node>
     <node concept="2G$12M" id="42jqVeFkUv2" role="3989C9">
@@ -1053,12 +1056,6 @@
             <ref role="3bR37D" to="ffeo:1TaHNgiIbJt" resolve="jetbrains.mps.ide.platform" />
           </node>
         </node>
-        <node concept="1SiIV0" id="6PRHFscO9BE" role="3bR37C">
-          <node concept="3bR9La" id="6PRHFscO9BF" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="6PRHFscO9BG" role="3bR37C">
           <node concept="3bR9La" id="6PRHFscO9BH" role="1SiIV1">
             <property role="3bR36h" value="false" />
@@ -1071,6 +1068,12 @@
             <ref role="3bR37D" to="90a9:6SVXTgIejl1" resolve="de.itemis.mps.editor.celllayout.runtime" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRD5" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRD6" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUub" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1089,12 +1092,6 @@
             </node>
           </node>
         </node>
-        <node concept="1SiIV0" id="42jqVeFl1F5" role="3bR37C">
-          <node concept="3bR9La" id="42jqVeFl1F6" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="3rtmxn" id="1hUQF5WmqHC" role="3bR31x">
           <node concept="3LXTmp" id="1hUQF5WmqHD" role="3rtmxm">
             <node concept="3qWCbU" id="1hUQF5WmqHE" role="3LXTna">
@@ -1114,6 +1111,12 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRDr" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRDs" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUun" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1166,6 +1169,30 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgLkS" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgLkT" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
+          </node>
+        </node>
+      </node>
+      <node concept="1E1JtD" id="5yQpAUIgMcT" role="2G$12L">
+        <property role="BnDLt" value="true" />
+        <property role="TrG5h" value="com.mbeddr.formal.base.arch" />
+        <property role="3LESm3" value="71797868-de95-425c-8470-36aa52c8ebc4" />
+        <property role="2GAjPV" value="false" />
+        <node concept="398BVA" id="5yQpAUIgMFY" role="3LF7KH">
+          <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+          <node concept="2Ry0Ak" id="5yQpAUIgMFZ" role="iGT6I">
+            <property role="2Ry0Am" value="languages" />
+            <node concept="2Ry0Ak" id="5yQpAUIgMG0" role="2Ry0An">
+              <property role="2Ry0Am" value="com.mbeddr.formal.base.arch" />
+              <node concept="2Ry0Ak" id="5yQpAUIgNf5" role="2Ry0An">
+                <property role="2Ry0Am" value="com.mbeddr.formal.base.arch.mpl" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUu5" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1229,12 +1256,6 @@
           <property role="3LESm3" value="0bd9f5d3-0ebe-4398-8822-36ad7441c3e5" />
           <property role="2GAjPV" value="false" />
         </node>
-        <node concept="1SiIV0" id="6PRHFscNYyX" role="3bR37C">
-          <node concept="3bR9La" id="6PRHFscNYyY" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="3rtmxn" id="7RhjhI79qX0" role="3bR31x">
           <node concept="3LXTmp" id="7RhjhI79qX1" role="3rtmxm">
             <node concept="398BVA" id="7RhjhI79qX2" role="3LXTmr">
@@ -1266,6 +1287,17 @@
             <ref role="3bR37D" to="90a9:6SVXTgIejl1" resolve="de.itemis.mps.editor.celllayout.runtime" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgLle" role="3bR37C">
+          <node concept="1Busua" id="5yQpAUIgLlf" role="1SiIV1">
+            <ref role="1Busuk" to="ffeo:7Kfy9QB6LbO" resolve="jetbrains.mps.lang.traceable" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgREp" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgREq" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="6glUKoNR9Tl" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1663,12 +1695,6 @@
             </node>
           </node>
         </node>
-        <node concept="1SiIV0" id="6PRHFscNYHq" role="3bR37C">
-          <node concept="3bR9La" id="6PRHFscNYHr" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="6oUHYlAqE46" role="3bR37C">
           <node concept="3bR9La" id="6oUHYlAqE47" role="1SiIV1">
             <property role="3bR36h" value="false" />
@@ -1691,6 +1717,12 @@
             <ref role="3bR37D" node="1V$lRyiUHLD" resolve="com.mbeddr.formal.nusmv.pluginSolution" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRHr" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRHs" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="4Hts7PYH8Di" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1757,12 +1789,6 @@
             </node>
           </node>
         </node>
-        <node concept="1SiIV0" id="4Hts7PYH8DR" role="3bR37C">
-          <node concept="3bR9La" id="4Hts7PYH8DS" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="4Hts7PYH8DT" role="3bR37C">
           <node concept="3bR9La" id="4Hts7PYH8DU" role="1SiIV1">
             <property role="3bR36h" value="false" />
@@ -1797,6 +1823,12 @@
             <ref role="3bR37D" node="42jqVeFkUuz" resolve="com.mbeddr.formal.nusmv.tests" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRI8" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRI9" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="42jqVeFkUuD" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -1915,6 +1947,11 @@
             <ref role="1Busuk" node="42jqVeFkUut" resolve="com.mbeddr.formal.nusmv.tabular" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgNSh" role="3bR37C">
+          <node concept="1Busua" id="5yQpAUIgNSi" role="1SiIV1">
+            <ref role="1Busuk" node="5yQpAUIgMcT" resolve="com.mbeddr.formal.base.arch" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="6Kf5KB6_1El" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2100,17 +2137,17 @@
         <node concept="1E0d5M" id="6adXBxxZrxQ" role="1E1XAP">
           <ref role="1E0d5P" to="al5i:7uOgiTahf8" resolve="com.mbeddr.mpsutil.jfreechart.runtime" />
         </node>
-        <node concept="1SiIV0" id="2QUcAU2cCxx" role="3bR37C">
-          <node concept="3bR9La" id="2QUcAU2cCxy" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="40P9s59w8ei" role="3bR37C">
           <node concept="1Busua" id="40P9s59w8ej" role="1SiIV1">
             <ref role="1Busuk" node="42jqVeFkUuV" resolve="com.mbeddr.formal.base" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRKv" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRKw" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="Kom1UAN72k" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2135,12 +2172,6 @@
             <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
           </node>
         </node>
-        <node concept="1SiIV0" id="Kom1UAN8hp" role="3bR37C">
-          <node concept="3bR9La" id="Kom1UAN8hq" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="Kom1UAN8hr" role="3bR37C">
           <node concept="3bR9La" id="Kom1UAN8hs" role="1SiIV1">
             <property role="3bR36h" value="false" />
@@ -2186,8 +2217,8 @@
               <ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
             </node>
           </node>
-          <node concept="1SiIV0" id="2QUcAU2cCyg" role="3bR37C">
-            <node concept="3bR9La" id="2QUcAU2cCyh" role="1SiIV1">
+          <node concept="1SiIV0" id="5yQpAUIgRKR" role="3bR37C">
+            <node concept="3bR9La" id="5yQpAUIgRKS" role="1SiIV1">
               <property role="3bR36h" value="false" />
               <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
             </node>
@@ -2226,6 +2257,12 @@
             <ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgRKP" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRKQ" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="6adXBxxUu$i" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2316,6 +2353,153 @@
           </node>
         </node>
       </node>
+      <node concept="1E1JtD" id="5yQpAUIgOcH" role="2G$12L">
+        <property role="BnDLt" value="true" />
+        <property role="TrG5h" value="com.mbeddr.formal.nusmv.cbd" />
+        <property role="3LESm3" value="58bd9c99-ba42-4205-b3c9-ce445fd870e6" />
+        <property role="2GAjPV" value="false" />
+        <node concept="398BVA" id="5yQpAUIgOcI" role="3LF7KH">
+          <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+          <node concept="2Ry0Ak" id="5yQpAUIgOcJ" role="iGT6I">
+            <property role="2Ry0Am" value="languages" />
+            <node concept="2Ry0Ak" id="5yQpAUIgOcK" role="2Ry0An">
+              <property role="2Ry0Am" value="com.mbeddr.formal.nusmv.cbd" />
+              <node concept="2Ry0Ak" id="5yQpAUIgP5S" role="2Ry0An">
+                <property role="2Ry0Am" value="com.mbeddr.formal.nusmv.cbd.mpl" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgOcM" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgOcN" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgOcO" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgOcP" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUu5" resolve="com.mbeddr.formal.nusmv" />
+          </node>
+        </node>
+        <node concept="3rtmxn" id="5yQpAUIgOcQ" role="3bR31x">
+          <node concept="3LXTmp" id="5yQpAUIgOcR" role="3rtmxm">
+            <node concept="398BVA" id="5yQpAUIgOcS" role="3LXTmr">
+              <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+              <node concept="2Ry0Ak" id="5yQpAUIgOcT" role="iGT6I">
+                <property role="2Ry0Am" value="languages" />
+                <node concept="2Ry0Ak" id="5yQpAUIgOcU" role="2Ry0An">
+                  <property role="2Ry0Am" value="com.mbeddr.formal.nusmv.importer" />
+                  <node concept="2Ry0Ak" id="5yQpAUIgOcV" role="2Ry0An">
+                    <property role="2Ry0Am" value="source_gen" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3qWCbU" id="5yQpAUIgOcW" role="3LXTna">
+              <property role="3qWCbO" value="com/mbeddr/formal/nusmv/importer/structure/*.png" />
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgOd5" role="3bR37C">
+          <node concept="1Busua" id="5yQpAUIgOd6" role="1SiIV1">
+            <ref role="1Busuk" node="42jqVeFkUun" resolve="com.mbeddr.formal.base.expressions" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgOd7" role="3bR37C">
+          <node concept="1Busua" id="5yQpAUIgOd8" role="1SiIV1">
+            <ref role="1Busuk" node="42jqVeFkUu5" resolve="com.mbeddr.formal.nusmv" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqs" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqt" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqw" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqx" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6L5O" resolve="jetbrains.mps.lang.extension" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqy" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqz" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="1gJVC85JQA9" resolve="com.mbeddr.formal.nusmv.ext" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPq$" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPq_" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="90a9:4be$WTb1AQa" resolve="de.itemis.mps.editor.diagram.runtime" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqA" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqB" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="90a9:6wEeo$QJAsB" resolve="de.itemis.mps.editor.diagram.shapes" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqC" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqD" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6LfQ" resolve="jetbrains.mps.kernel" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqE" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPqF" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuV" resolve="com.mbeddr.formal.base" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPqG" role="3bR37C">
+          <node concept="1Busua" id="5yQpAUIgPqH" role="1SiIV1">
+            <ref role="1Busuk" node="5yQpAUIgMcT" resolve="com.mbeddr.formal.base.arch" />
+          </node>
+        </node>
+        <node concept="1yeLz9" id="5yQpAUIgPqI" role="1TViLv">
+          <property role="TrG5h" value="com.mbeddr.formal.nusmv.cbd#01" />
+          <property role="3LESm3" value="1caff2e8-9e73-431d-8a8f-ba34a80c305f" />
+          <property role="2GAjPV" value="false" />
+          <node concept="1SiIV0" id="5yQpAUIgPqJ" role="3bR37C">
+            <node concept="3bR9La" id="5yQpAUIgPqK" role="1SiIV1">
+              <property role="3bR36h" value="false" />
+              <ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
+            </node>
+          </node>
+          <node concept="1SiIV0" id="5yQpAUIgPqL" role="3bR37C">
+            <node concept="3bR9La" id="5yQpAUIgPqM" role="1SiIV1">
+              <property role="3bR36h" value="false" />
+              <ref role="3bR37D" node="42jqVeFkUuD" resolve="com.mbeddr.formal.nusmv.arch" />
+            </node>
+          </node>
+          <node concept="1SiIV0" id="5yQpAUIgPqN" role="3bR37C">
+            <node concept="3bR9La" id="5yQpAUIgPqO" role="1SiIV1">
+              <property role="3bR36h" value="false" />
+              <ref role="3bR37D" node="42jqVeFkUu5" resolve="com.mbeddr.formal.nusmv" />
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgPRi" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPRj" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="5yQpAUIgOcH" resolve="com.mbeddr.formal.nusmv.cbd" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRhw" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRhx" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="5yQpAUIgQaT" resolve="com.mbeddr.formal.nusmv.cbd.pluginSolution" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRLS" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRLT" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
+      </node>
       <node concept="1E1JtA" id="42jqVeFkUuJ" role="2G$12L">
         <property role="BnDLt" value="true" />
         <property role="TrG5h" value="com.mbeddr.formal.nusmv.importer.rt" />
@@ -2373,12 +2557,6 @@
             </node>
           </node>
         </node>
-        <node concept="1SiIV0" id="6adXBxxUxvJ" role="3bR37C">
-          <node concept="3bR9La" id="6adXBxxUxvK" role="1SiIV1">
-            <property role="3bR36h" value="false" />
-            <ref role="3bR37D" node="6adXBxxUu$i" resolve="com.mbeddr.formal.nusmv.importer" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="6adXBxxUxwa" role="3bR37C">
           <node concept="1BurEX" id="6adXBxxUxwb" role="1SiIV1">
             <node concept="398BVA" id="6adXBxxUxvN" role="1BurEY">
@@ -2480,6 +2658,12 @@
             <ref role="3bR37D" to="ffeo:1TaHNgiIbJb" resolve="MPS.Platform" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgPRZ" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgPS0" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="6adXBxxUu$i" resolve="com.mbeddr.formal.nusmv.importer" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="6adXBxxUwrY" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2523,6 +2707,12 @@
             <ref role="3bR37D" to="ffeo:1TaHNgiIbJ$" resolve="jetbrains.mps.ide.editor" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgLuE" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgLuF" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="1V$lRyiUHLD" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2571,12 +2761,6 @@
             <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
           </node>
         </node>
-        <node concept="1SiIV0" id="1V$lRyiUHLS" role="3bR37C">
-          <node concept="3bR9La" id="1V$lRyiUHLT" role="1SiIV1">
-            <property role="3bR36h" value="true" />
-            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="1V$lRyiUHLU" role="3bR37C">
           <node concept="3bR9La" id="1V$lRyiUHLV" role="1SiIV1">
             <property role="3bR36h" value="false" />
@@ -2662,6 +2846,24 @@
             <ref role="3bR37D" node="6adXBxxUwrY" resolve="com.mbeddr.formal.base.pluginSolution" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5yQpAUIgLv0" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgLv1" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="42jqVeFkUun" resolve="com.mbeddr.formal.base.expressions" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgNXF" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgNXG" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="5yQpAUIgMcT" resolve="com.mbeddr.formal.base.arch" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRP0" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRP1" role="1SiIV1">
+            <property role="3bR36h" value="true" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="42jqVeFkUuP" role="2G$12L">
         <property role="BnDLt" value="true" />
@@ -2800,6 +3002,154 @@
           </node>
         </node>
       </node>
+      <node concept="1E1JtA" id="5yQpAUIgQaT" role="2G$12L">
+        <property role="BnDLt" value="true" />
+        <property role="TrG5h" value="com.mbeddr.formal.nusmv.cbd.pluginSolution" />
+        <property role="3LESm3" value="0785c32a-102f-45a9-9367-99fd48b107eb" />
+        <property role="2GAjPV" value="false" />
+        <node concept="398BVA" id="5yQpAUIgQaU" role="3LF7KH">
+          <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+          <node concept="2Ry0Ak" id="5yQpAUIgQaV" role="iGT6I">
+            <property role="2Ry0Am" value="solutions" />
+            <node concept="2Ry0Ak" id="5yQpAUIgQaW" role="2Ry0An">
+              <property role="2Ry0Am" value="com.mbeddr.formal.nusmv.cbd.pluginSolution" />
+              <node concept="2Ry0Ak" id="5yQpAUIgQW2" role="2Ry0An">
+                <property role="2Ry0Am" value="com.mbeddr.formal.nusmv.cbd.pluginSolution.msd" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQaY" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQaZ" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQb0" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQb1" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1TaHNgiIbJb" resolve="MPS.Platform" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQb4" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQb5" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQb6" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQb7" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQba" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQbb" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQbg" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQbh" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgQbt" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgQbu" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="90a9:PE3B26QCrP" resolve="org.apache.commons" />
+          </node>
+        </node>
+        <node concept="3rtmxn" id="5yQpAUIgQbv" role="3bR31x">
+          <node concept="3LXTmp" id="5yQpAUIgQbw" role="3rtmxm">
+            <node concept="3qWCbU" id="5yQpAUIgQbx" role="3LXTna">
+              <property role="3qWCbO" value="icons/**, resources/**" />
+            </node>
+            <node concept="398BVA" id="5yQpAUIgQby" role="3LXTmr">
+              <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+              <node concept="2Ry0Ak" id="5yQpAUIgQbz" role="iGT6I">
+                <property role="2Ry0Am" value="solutions" />
+                <node concept="2Ry0Ak" id="5yQpAUIgQb$" role="2Ry0An">
+                  <property role="2Ry0Am" value="com.mbeddr.formal.base.tooling" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRlF" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRlG" role="1SiIV1">
+            <property role="3bR36h" value="true" />
+            <ref role="3bR37D" node="1V$lRyiUHLD" resolve="com.mbeddr.formal.nusmv.pluginSolution" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRlH" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRlI" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="5yQpAUIgOcH" resolve="com.mbeddr.formal.nusmv.cbd" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRlJ" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRlK" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" node="6adXBxxUwrY" resolve="com.mbeddr.formal.base.pluginSolution" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="5yQpAUIgRQ1" role="3bR37C">
+          <node concept="3bR9La" id="5yQpAUIgRQ2" role="1SiIV1">
+            <property role="3bR36h" value="true" />
+            <ref role="3bR37D" node="42jqVeFkUuP" resolve="com.mbeddr.formal.base.tooling" />
+          </node>
+        </node>
+      </node>
+      <node concept="1E1JtA" id="Vtw49fID3p" role="2G$12L">
+        <property role="BnDLt" value="true" />
+        <property role="TrG5h" value="com.mbeddr.formal.rcp.pluginSolution" />
+        <property role="3LESm3" value="73e1a7c9-a5f5-454a-9845-1d6af2cedac9" />
+        <property role="2GAjPV" value="false" />
+        <node concept="398BVA" id="Vtw49fIDAB" role="3LF7KH">
+          <ref role="398BVh" node="6mm$FLYQyYs" resolve="code" />
+          <node concept="2Ry0Ak" id="Vtw49fIDAC" role="iGT6I">
+            <property role="2Ry0Am" value="solutions" />
+            <node concept="2Ry0Ak" id="Vtw49fIDAD" role="2Ry0An">
+              <property role="2Ry0Am" value="com.mbeddr.formal.rcp.pluginSolution" />
+              <node concept="2Ry0Ak" id="Vtw49fIE0F" role="2Ry0An">
+                <property role="2Ry0Am" value="com.mbeddr.formal.rcp.pluginSolution.msd" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="Vtw49fIEqA" role="3bR37C">
+          <node concept="3bR9La" id="Vtw49fIEqB" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:5sovPIfS$nd" resolve="jetbrains.mps.ide.mpsdevkit" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="Vtw49fIEqC" role="3bR37C">
+          <node concept="3bR9La" id="Vtw49fIEqD" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="Vtw49fIEqE" role="3bR37C">
+          <node concept="3bR9La" id="Vtw49fIEqF" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="Vtw49fIEqG" role="3bR37C">
+          <node concept="3bR9La" id="Vtw49fIEqH" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="Vtw49fIEqI" role="3bR37C">
+          <node concept="3bR9La" id="Vtw49fIEqJ" role="1SiIV1">
+            <property role="3bR36h" value="false" />
+            <ref role="3bR37D" to="ffeo:1TaHNgiIbJb" resolve="MPS.Platform" />
+          </node>
+        </node>
+      </node>
     </node>
   </node>
   <node concept="1l3spW" id="42jqVeFkUwB">
@@ -2845,7 +3195,7 @@
           <node concept="2Ry0Ak" id="3ZV5FZJk1SN" role="2Ry0An">
             <property role="2Ry0Am" value=".." />
             <node concept="2Ry0Ak" id="6adXBxxWqh2" role="2Ry0An">
-              <property role="2Ry0Am" value="MPS_2018_1_4_mbeddr_formal" />
+              <property role="2Ry0Am" value="MPS_2018_2_1_mbeddr_formal" />
             </node>
           </node>
         </node>
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps
index 6be1c2997..6aa5f9eef 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps
@@ -8,9 +8,6 @@
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="11" />
     <use id="982eb8df-2c96-4bd7-9963-11712ea622e5" name="jetbrains.mps.lang.resources" version="2" />
     <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="0" />
-    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
-    <use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
-    <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
     <use id="63e0e566-5131-447e-90e3-12ea330e1a00" name="com.mbeddr.mpsutil.blutil" version="1" />
     <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
     <use id="1fc20ffe-f35b-4791-a0b7-d706bad5c49a" name="com.mbeddr.mpsutil.refactoring" version="0" />
@@ -28,10 +25,8 @@
     <import index="878u" ref="r:7f63918f-7729-4e00-be8e-c747863e4766(com.mbeddr.formal.nusmv.pluginSolution.ui)" />
     <import index="4nm9" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.project(MPS.IDEA/)" />
     <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
-    <import index="70es" ref="r:0da43dab-51b4-49c4-9dae-6b508a700deb(com.mbeddr.formal.nusmv.arch.editor)" />
     <import index="r1jp" ref="r:1982e326-4f5d-4777-8712-b7a85c46db6c(com.mbeddr.formal.nusmv.sm.editor)" />
     <import index="fnq2" ref="r:412c918d-151c-45fe-acf3-0268d0d563c1(com.mbeddr.formal.nusmv.tests.structure)" />
-    <import index="g3py" ref="r:05a8bb09-6d40-4741-a42b-3e0bea0a1b95(com.mbeddr.formal.nusmv.plugin)" />
     <import index="fhlc" ref="r:89fb4363-ec36-4a06-ac51-b284d265c631(com.mbeddr.formal.base.tooling.make)" />
     <import index="2ocj" ref="r:0af55dc0-14f5-45c8-bf12-3c673ca075ac(com.mbeddr.formal.base.tooling.analyzer)" />
     <import index="c9r8" ref="r:7a0d71dd-b922-4116-87c2-af6c95c3f7c3(com.mbeddr.formal.base.tooling.results_model)" />
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd
new file mode 100644
index 000000000..40da3e093
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd
@@ -0,0 +1,45 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<solution name="com.mbeddr.formal.rcp.pluginSolution" uuid="73e1a7c9-a5f5-454a-9845-1d6af2cedac9" moduleVersion="0" pluginKind="PLUGIN_EDITOR" compileInMPS="true">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
+    <dependency reexport="false">742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)</dependency>
+    <dependency reexport="false">498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)</dependency>
+    <dependency reexport="false">cac2fef0-41a6-4fcd-923f-f893d536b2ab(jetbrains.mps.ide.mpsdevkit)</dependency>
+    <dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:e840b8ae-64d9-4b5b-b3b4-eca3f222d4da:com.mbeddr.mpsutil.iconchar" version="1" />
+    <language slang="l:a4007360-b8a6-4b5b-a648-1c43f0a1cf5d:com.mbeddr.mpsutil.resources" version="0" />
+    <language slang="l:3eada220-3310-4fd3-b794-ff924add7d8a:com.mbeddr.mpsutil.smodule" version="0" />
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
+    <language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
+    <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+    <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="0" />
+    <language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="0" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
+    <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" version="2" />
+    <language slang="l:ef7bf5ac-d06c-4342-b11d-e42104eb9343:jetbrains.mps.lang.plugin.standalone" version="0" />
+    <language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="11" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+  </languageVersions>
+  <dependencyVersions>
+    <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+    <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+    <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+    <module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
+    <module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
+    <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
+    <module reference="73e1a7c9-a5f5-454a-9845-1d6af2cedac9(com.mbeddr.formal.rcp.pluginSolution)" version="0" />
+    <module reference="cac2fef0-41a6-4fcd-923f-f893d536b2ab(jetbrains.mps.ide.mpsdevkit)" version="0" />
+  </dependencyVersions>
+</solution>
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps
new file mode 100644
index 000000000..5cea8946f
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps
@@ -0,0 +1,394 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:9c5b8a3f-0cb0-4483-909a-d7fa6c870e08(com.mbeddr.formal.rcp.pluginSolution.plugin)">
+  <persistence version="9" />
+  <languages>
+    <use id="28f9e497-3b42-4291-aeba-0a1039153ab1" name="jetbrains.mps.lang.plugin" version="2" />
+    <use id="ef7bf5ac-d06c-4342-b11d-e42104eb9343" name="jetbrains.mps.lang.plugin.standalone" version="0" />
+    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="6" />
+    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="0" />
+    <use id="3eada220-3310-4fd3-b794-ff924add7d8a" name="com.mbeddr.mpsutil.smodule" version="0" />
+    <use id="e840b8ae-64d9-4b5b-b3b4-eca3f222d4da" name="com.mbeddr.mpsutil.iconchar" version="1" />
+    <use id="a4007360-b8a6-4b5b-a648-1c43f0a1cf5d" name="com.mbeddr.mpsutil.resources" version="0" />
+  </languages>
+  <imports>
+    <import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
+    <import index="fyhk" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps(MPS.Platform/)" />
+    <import index="9ti4" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.extensions(MPS.IDEA/)" />
+    <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
+    <import index="w88" ref="r:90fa2771-55a5-4174-b12a-f5413c5a876c(jetbrains.mps.ide.devkit.actions)" />
+    <import index="qkt" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.actionSystem(MPS.IDEA/)" />
+    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
+    <import index="dush" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.persistence(MPS.OpenAPI/)" />
+    <import index="dxuu" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:javax.swing(JDK/)" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
+    <import index="z1c4" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.project(MPS.Platform/)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
+    <import index="qq03" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.ide.actions(MPS.Platform/)" />
+    <import index="tprs" ref="r:00000000-0000-4000-0000-011c895904a4(jetbrains.mps.ide.actions)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="982eb8df-2c96-4bd7-9963-11712ea622e5" name="jetbrains.mps.lang.resources">
+      <concept id="2756621024541681841" name="jetbrains.mps.lang.resources.structure.Primitive" flags="ng" index="1irPi6">
+        <child id="1860120738943552529" name="fillColor" index="3PKjn_" />
+        <child id="1860120738943552531" name="borderColor" index="3PKjnB" />
+      </concept>
+      <concept id="2756621024541681849" name="jetbrains.mps.lang.resources.structure.Text" flags="ng" index="1irPie">
+        <property id="2756621024541681854" name="text" index="1irPi9" />
+        <child id="1860120738943552534" name="color" index="3PKjny" />
+      </concept>
+      <concept id="2756621024541674821" name="jetbrains.mps.lang.resources.structure.TextIcon" flags="ng" index="1irR5M">
+        <property id="1358878980655415353" name="iconId" index="2$rrk2" />
+        <child id="2756621024541675110" name="layers" index="1irR9h" />
+      </concept>
+      <concept id="2756621024541675104" name="jetbrains.mps.lang.resources.structure.Circle" flags="ng" index="1irR9n" />
+      <concept id="1860120738943552477" name="jetbrains.mps.lang.resources.structure.ColorLiteral" flags="ng" index="3PKj8D">
+        <property id="1860120738943552481" name="val" index="3PKj8l" />
+      </concept>
+    </language>
+    <language id="28f9e497-3b42-4291-aeba-0a1039153ab1" name="jetbrains.mps.lang.plugin">
+      <concept id="1207145163717" name="jetbrains.mps.lang.plugin.structure.ElementListContents" flags="ng" index="ftmFs">
+        <child id="1207145201301" name="reference" index="ftvYc" />
+      </concept>
+      <concept id="1203071646776" name="jetbrains.mps.lang.plugin.structure.ActionDeclaration" flags="ng" index="sE7Ow">
+        <property id="1205250923097" name="caption" index="2uzpH1" />
+        <child id="1203083461638" name="executeFunction" index="tncku" />
+        <child id="1217413222820" name="parameter" index="1NuT2Z" />
+        <child id="8976425910813834639" name="icon" index="3Uehp1" />
+      </concept>
+      <concept id="1203083511112" name="jetbrains.mps.lang.plugin.structure.ExecuteBlock" flags="in" index="tnohg" />
+      <concept id="1203087890642" name="jetbrains.mps.lang.plugin.structure.ActionGroupDeclaration" flags="ng" index="tC5Ba">
+        <child id="1204991552650" name="modifier" index="2f5YQi" />
+        <child id="1207145245948" name="contents" index="ftER_" />
+      </concept>
+      <concept id="1203088046679" name="jetbrains.mps.lang.plugin.structure.ActionInstance" flags="ng" index="tCFHf">
+        <reference id="1203088061055" name="action" index="tCJdB" />
+      </concept>
+      <concept id="1203092361741" name="jetbrains.mps.lang.plugin.structure.ModificationStatement" flags="lg" index="tT9cl">
+        <reference id="1204992316090" name="point" index="2f8Tey" />
+        <reference id="1203092736097" name="modifiedGroup" index="tU$_T" />
+      </concept>
+      <concept id="5538333046911348654" name="jetbrains.mps.lang.plugin.structure.RequiredCondition" flags="ng" index="1oajcY" />
+      <concept id="1217252042208" name="jetbrains.mps.lang.plugin.structure.ActionDataParameterDeclaration" flags="ng" index="1DS2jV">
+        <reference id="1217252646389" name="key" index="1DUlNI" />
+      </concept>
+      <concept id="1217252428768" name="jetbrains.mps.lang.plugin.structure.ActionDataParameterReferenceOperation" flags="nn" index="1DTwFV" />
+      <concept id="1217413147516" name="jetbrains.mps.lang.plugin.structure.ActionParameter" flags="ng" index="1NuADB">
+        <child id="5538333046911298738" name="condition" index="1oa70y" />
+      </concept>
+    </language>
+    <language id="ef7bf5ac-d06c-4342-b11d-e42104eb9343" name="jetbrains.mps.lang.plugin.standalone">
+      <concept id="7520713872864775836" name="jetbrains.mps.lang.plugin.standalone.structure.StandalonePluginDescriptor" flags="ng" index="2DaZZR" />
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </concept>
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1081256982272" name="jetbrains.mps.baseLanguage.structure.InstanceOfExpression" flags="nn" index="2ZW3vV">
+        <child id="1081256993305" name="classType" index="2ZW6by" />
+        <child id="1081256993304" name="leftExpression" index="2ZW6bz" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
+        <child id="1070534934091" name="type" index="10QFUM" />
+        <child id="1070534934092" name="expression" index="10QFUP" />
+      </concept>
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6" />
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
+        <child id="1079359253376" name="expression" index="1eOMHV" />
+      </concept>
+      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
+        <child id="1081516765348" name="expression" index="3fr31v" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+        <child id="1068499141038" name="actualArgument" index="37wK5m" />
+      </concept>
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+    </language>
+    <language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
+      <concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
+      <concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
+        <reference id="1205756909548" name="member" index="2WH_rO" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="4040588429969021681" name="jetbrains.mps.lang.smodel.structure.ModuleReferenceExpression" flags="nn" index="3rM5sP">
+        <property id="4040588429969021683" name="moduleId" index="3rM5sR" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="3eada220-3310-4fd3-b794-ff924add7d8a" name="com.mbeddr.mpsutil.smodule">
+      <concept id="3692959419665703528" name="com.mbeddr.mpsutil.smodule.structure.DevKitRef" flags="ng" index="2omQlI" />
+      <concept id="3692959419666382910" name="com.mbeddr.mpsutil.smodule.structure.AddDevKitOperation" flags="ng" index="2opssS">
+        <child id="3692959419666408899" name="kits" index="2opyb5" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
+        <child id="1151688676805" name="elementType" index="_ZDj9" />
+      </concept>
+      <concept id="3358009230509553641" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListType" flags="in" index="2BANLN" />
+      <concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
+        <child id="1237721435807" name="elementType" index="HW$YZ" />
+        <child id="1237731803878" name="copyFrom" index="I$8f6" />
+      </concept>
+      <concept id="1227008614712" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListCreator" flags="nn" index="2Jqq0_" />
+      <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
+      <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
+    </language>
+  </registry>
+  <node concept="2DaZZR" id="6iM0fX1N45m" />
+  <node concept="sE7Ow" id="5tRIc6mkOfA">
+    <property role="TrG5h" value="NewFASTENModel" />
+    <property role="2uzpH1" value="New NuSMV Model" />
+    <node concept="1DS2jV" id="5tRIc6mmlHg" role="1NuT2Z">
+      <property role="TrG5h" value="module" />
+      <ref role="1DUlNI" to="qq03:~MPSCommonDataKeys.CONTEXT_MODULE" resolve="CONTEXT_MODULE" />
+      <node concept="1oajcY" id="5tRIc6mmlHh" role="1oa70y" />
+    </node>
+    <node concept="tnohg" id="5tRIc6mkOfB" role="tncku">
+      <node concept="3clFbS" id="5tRIc6mkOfC" role="2VODD2">
+        <node concept="3clFbJ" id="5tRIc6mlqMs" role="3cqZAp">
+          <node concept="3clFbS" id="5tRIc6mlqMu" role="3clFbx">
+            <node concept="3cpWs6" id="5tRIc6mlsGN" role="3cqZAp" />
+          </node>
+          <node concept="3fqX7Q" id="5tRIc6mlsHP" role="3clFbw">
+            <node concept="2ZW3vV" id="5tRIc6mlsHR" role="3fr31v">
+              <node concept="3uibUv" id="5tRIc6mlsHS" role="2ZW6by">
+                <ref role="3uigEE" to="z1c3:~Solution" resolve="Solution" />
+              </node>
+              <node concept="2OqwBi" id="5tRIc6mlsHT" role="2ZW6bz">
+                <node concept="2WthIp" id="5tRIc6mlsHU" role="2Oq$k0" />
+                <node concept="1DTwFV" id="5tRIc6mlSH1" role="2OqNvi">
+                  <ref role="2WH_rO" node="5tRIc6mmlHg" resolve="module" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5tRIc6mlsRJ" role="3cqZAp">
+          <node concept="3cpWsn" id="5tRIc6mlsRK" role="3cpWs9">
+            <property role="TrG5h" value="sol" />
+            <node concept="3uibUv" id="5tRIc6mlsRL" role="1tU5fm">
+              <ref role="3uigEE" to="z1c3:~Solution" resolve="Solution" />
+            </node>
+            <node concept="1eOMI4" id="5tRIc6mlsWm" role="33vP2m">
+              <node concept="10QFUN" id="5tRIc6mlsWj" role="1eOMHV">
+                <node concept="3uibUv" id="5tRIc6mlsWo" role="10QFUM">
+                  <ref role="3uigEE" to="z1c3:~Solution" resolve="Solution" />
+                </node>
+                <node concept="2OqwBi" id="5tRIc6mlth0" role="10QFUP">
+                  <node concept="2WthIp" id="5tRIc6mlsX8" role="2Oq$k0" />
+                  <node concept="1DTwFV" id="5tRIc6mlTcs" role="2OqNvi">
+                    <ref role="2WH_rO" node="5tRIc6mmlHg" resolve="module" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5tRIc6mlvG5" role="3cqZAp">
+          <node concept="3cpWsn" id="5tRIc6mlvG6" role="3cpWs9">
+            <property role="TrG5h" value="mrs" />
+            <node concept="2BANLN" id="5tRIc6mlvFI" role="1tU5fm">
+              <node concept="3uibUv" id="5tRIc6mlvFL" role="_ZDj9">
+                <ref role="3uigEE" to="dush:~ModelRoot" resolve="ModelRoot" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5tRIc6mlvG7" role="33vP2m">
+              <node concept="2Jqq0_" id="5tRIc6mlvG8" role="2ShVmc">
+                <node concept="3uibUv" id="5tRIc6mlvG9" role="HW$YZ">
+                  <ref role="3uigEE" to="dush:~ModelRoot" resolve="ModelRoot" />
+                </node>
+                <node concept="2OqwBi" id="5tRIc6mlvGa" role="I$8f6">
+                  <node concept="37vLTw" id="5tRIc6mlvGb" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5tRIc6mlsRK" resolve="sol" />
+                  </node>
+                  <node concept="liA8E" id="5tRIc6mlvGc" role="2OqNvi">
+                    <ref role="37wK5l" to="z1c3:~AbstractModule.getModelRoots():java.lang.Iterable" resolve="getModelRoots" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5tRIc6mlwku" role="3cqZAp">
+          <node concept="3clFbS" id="5tRIc6mlwkw" role="3clFbx">
+            <node concept="3cpWs6" id="5tRIc6mlzEW" role="3cqZAp" />
+          </node>
+          <node concept="2OqwBi" id="5tRIc6mlxBO" role="3clFbw">
+            <node concept="37vLTw" id="5tRIc6mlwt5" role="2Oq$k0">
+              <ref role="3cqZAo" node="5tRIc6mlvG6" resolve="mrs" />
+            </node>
+            <node concept="1v1jN8" id="5tRIc6mlzAn" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5tRIc6mlCTF" role="3cqZAp">
+          <node concept="3cpWsn" id="5tRIc6mlCTG" role="3cpWs9">
+            <property role="TrG5h" value="mr" />
+            <node concept="3uibUv" id="5tRIc6mlCTy" role="1tU5fm">
+              <ref role="3uigEE" to="dush:~ModelRoot" resolve="ModelRoot" />
+            </node>
+            <node concept="2OqwBi" id="5tRIc6mlCTH" role="33vP2m">
+              <node concept="37vLTw" id="5tRIc6mlCTI" role="2Oq$k0">
+                <ref role="3cqZAo" node="5tRIc6mlvG6" resolve="mrs" />
+              </node>
+              <node concept="1uHKPH" id="5tRIc6mlCTJ" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5tRIc6mlHkE" role="3cqZAp">
+          <node concept="3cpWsn" id="5tRIc6mlHkF" role="3cpWs9">
+            <property role="TrG5h" value="modelName" />
+            <node concept="17QB3L" id="5tRIc6mm0vv" role="1tU5fm" />
+            <node concept="2YIFZM" id="5tRIc6mlHkG" role="33vP2m">
+              <ref role="1Pybhc" to="dxuu:~JOptionPane" resolve="JOptionPane" />
+              <ref role="37wK5l" to="dxuu:~JOptionPane.showInputDialog(java.awt.Component,java.lang.Object):java.lang.String" resolve="showInputDialog" />
+              <node concept="10Nm6u" id="5tRIc6mlHkH" role="37wK5m" />
+              <node concept="Xl_RD" id="5tRIc6mlHkI" role="37wK5m">
+                <property role="Xl_RC" value="Model name:" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5tRIc6mm0Qk" role="3cqZAp">
+          <node concept="3cpWsn" id="5tRIc6mm0Ql" role="3cpWs9">
+            <property role="TrG5h" value="newModel" />
+            <node concept="3uibUv" id="5tRIc6mm0PP" role="1tU5fm">
+              <ref role="3uigEE" to="mhbf:~EditableSModel" resolve="EditableSModel" />
+            </node>
+            <node concept="2YIFZM" id="5tRIc6mm0Qm" role="33vP2m">
+              <ref role="37wK5l" to="z1c3:~SModuleOperations.createModelWithAdjustments(java.lang.String,org.jetbrains.mps.openapi.persistence.ModelRoot):org.jetbrains.mps.openapi.model.EditableSModel" resolve="createModelWithAdjustments" />
+              <ref role="1Pybhc" to="z1c3:~SModuleOperations" resolve="SModuleOperations" />
+              <node concept="37vLTw" id="5tRIc6mm0Qn" role="37wK5m">
+                <ref role="3cqZAo" node="5tRIc6mlHkF" resolve="modelName" />
+              </node>
+              <node concept="37vLTw" id="5tRIc6mm0Qo" role="37wK5m">
+                <ref role="3cqZAo" node="5tRIc6mlCTG" resolve="mr" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5tRIc6mm2CE" role="3cqZAp">
+          <node concept="3clFbS" id="5tRIc6mm2CG" role="3clFbx">
+            <node concept="3clFbF" id="5tRIc6mm3uy" role="3cqZAp">
+              <node concept="2YIFZM" id="5tRIc6mm3v6" role="3clFbG">
+                <ref role="37wK5l" to="dxuu:~JOptionPane.showMessageDialog(java.awt.Component,java.lang.Object):void" resolve="showMessageDialog" />
+                <ref role="1Pybhc" to="dxuu:~JOptionPane" resolve="JOptionPane" />
+                <node concept="10Nm6u" id="5tRIc6mm3x0" role="37wK5m" />
+                <node concept="Xl_RD" id="5tRIc6mm3Ag" role="37wK5m">
+                  <property role="Xl_RC" value="Error while creating the model!" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbC" id="5tRIc6mm39Y" role="3clFbw">
+            <node concept="10Nm6u" id="5tRIc6mm3m5" role="3uHU7w" />
+            <node concept="37vLTw" id="5tRIc6mm2RQ" role="3uHU7B">
+              <ref role="3cqZAo" node="5tRIc6mm0Ql" resolve="newModel" />
+            </node>
+          </node>
+          <node concept="9aQIb" id="5tRIc6mm4j5" role="9aQIa">
+            <node concept="3clFbS" id="5tRIc6mm4j6" role="9aQI4">
+              <node concept="3clFbF" id="5tRIc6mllk9" role="3cqZAp">
+                <node concept="2OqwBi" id="5tRIc6mm1DX" role="3clFbG">
+                  <node concept="37vLTw" id="5tRIc6mm0Qp" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5tRIc6mm0Ql" resolve="newModel" />
+                  </node>
+                  <node concept="2opssS" id="5tRIc6mm23t" role="2OqNvi">
+                    <node concept="2omQlI" id="5tRIc6mm2dE" role="2opyb5">
+                      <property role="3rM5sR" value="edb51d2d-64eb-404a-818e-c1cabf1d58d5" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1irR5M" id="Vtw49fIz9l" role="3Uehp1">
+      <property role="2$rrk2" value="1" />
+      <node concept="1irR9n" id="Vtw49fIzj8" role="1irR9h">
+        <node concept="3PKj8D" id="Vtw49fIzjn" role="3PKjn_">
+          <property role="3PKj8l" value="778899" />
+        </node>
+        <node concept="3PKj8D" id="Vtw49fIC1C" role="3PKjnB">
+          <property role="3PKj8l" value="FF0000" />
+        </node>
+      </node>
+      <node concept="1irPie" id="Vtw49fIzjE" role="1irR9h">
+        <property role="1irPi9" value="ℕ" />
+        <node concept="3PKj8D" id="Vtw49fIzjX" role="3PKjny">
+          <property role="3PKj8l" value="112211" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="tC5Ba" id="5uW1px6ni3m">
+    <property role="TrG5h" value="SolutionActionsGroup" />
+    <node concept="ftmFs" id="5uW1px6ni3n" role="ftER_">
+      <node concept="tCFHf" id="5tRIc6mlLia" role="ftvYc">
+        <ref role="tCJdB" node="5tRIc6mkOfA" resolve="NewFASTENModel" />
+      </node>
+    </node>
+    <node concept="tT9cl" id="5uW1px6ni3q" role="2f5YQi">
+      <ref role="tU$_T" to="tprs:hyf4Jd1" resolve="SolutionActions" />
+      <ref role="2f8Tey" to="tprs:hyalGNA" resolve="solutionNew" />
+    </node>
+  </node>
+</model>
+