diff --git a/maestro-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java b/maestro-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java
index eac938ad..1196d42b 100644
--- a/maestro-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java
+++ b/maestro-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java
@@ -68,7 +68,7 @@ public VerificationResult verifyAlgorithm(@RequestBody String masterModelAsStrin
         MasterModel masterModel = ScenarioLoader.load(new ByteArrayInputStream(masterModelAsString.getBytes()));
 
         ModelEncoding encoding = new ModelEncoding(masterModel);
-        String encodedModel = ScenarioGenerator.generate(encoding);
+        String encodedModel = ScenarioGenerator.generateUppaalEncoding(encoding);
         File tempFile = Files.createTempFile(null, ".xml").toFile();
         try (Writer writer = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(tempFile), StandardCharsets.UTF_8))) {
             writer.write(encodedModel);