diff --git a/src/main/java/ui/GTURTLEModeling.java b/src/main/java/ui/GTURTLEModeling.java
index 24f50aad5eef13329d8c85518f80a94037f344b1..772ca912b2249ebb16f8e3279f4978a8b587af79 100644
--- a/src/main/java/ui/GTURTLEModeling.java
+++ b/src/main/java/ui/GTURTLEModeling.java
@@ -1988,14 +1988,14 @@ public class GTURTLEModeling {
 
     }
 
-    public boolean toSysMLV2() {
+    public String toSysMLV2() {
         if (avatarspec != null) {
             AVATAR2SysMLV2 toS = new AVATAR2SysMLV2(avatarspec);
             StringBuffer sb = toS.generateSysMLV2Spec(true, true);
             System.out.println("SysMLV2:\n" + sb.toString());
-            return true;
+            return sb.toString();
         }
-        return false;
+        return null;
     }
 
     public boolean generateProVerifFromAVATAR(String _path, int _stateReachability, boolean _typed, boolean allowPrivateChannelDuplication, String loopLimit) {
diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index 33233d2035f5512baad2ff6fc7731630a3435c46..4e4ac2d80c135041cbaa0fe704140c5705bb1835 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -3423,7 +3423,15 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
 
     public void toSysMLV2() {
         checkModelingSyntax(true);
-        gtm.toSysMLV2();
+        String data = gtm.toSysMLV2();
+        if (data != null) {
+            TraceManager.addDev("New Frame SysML");
+            JFrameBasicText fbt = new JFrameBasicText("SysML V2 - " + getCurrentTDiagramPanel().getName(), data);
+            fbt.setSize(800, 800);
+            fbt.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
+            fbt.setVisible(true);
+            TraceManager.addDev("Frame shown");
+        }
     }
 
     public void makeLotosFile() {