Add reliability probability and mtff objectives

12 files changed, 763 insertions, 133 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
index 3b639669..a241d6db 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
@@ -357,13 +357,31 @@ public interface ApplicationConfigurationFactory extends EFactory
   ObjectiveFunction createObjectiveFunction();
 
   /**
-   * Returns a new object of class '<em>Reliabiltiy Function</em>'.
+   * Returns a new object of class '<em>Reliability Objective Function</em>'.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
-   * @return a new object of class '<em>Reliabiltiy Function</em>'.
+   * @return a new object of class '<em>Reliability Objective Function</em>'.
    * @generated
    */
-  ReliabiltiyFunction createReliabiltiyFunction();
+  ReliabilityObjectiveFunction createReliabilityObjectiveFunction();
+
+  /**
+   * Returns a new object of class '<em>Reliabiltiy Probability</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>Reliabiltiy Probability</em>'.
+   * @generated
+   */
+  ReliabiltiyProbability createReliabiltiyProbability();
+
+  /**
+   * Returns a new object of class '<em>Mtff</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>Mtff</em>'.
+   * @generated
+   */
+  Mtff createMtff();
 
   /**
    * Returns a new object of class '<em>Objective Declaration</em>'.
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
index a3af3bae..96603dc5 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
@@ -1007,7 +1007,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjective()
    * @generated
    */
-  int OBJECTIVE = 40;
+  int OBJECTIVE = 42;
 
   /**
    * The number of structural features of the '<em>Objective</em>' class.
@@ -1177,14 +1177,14 @@ public interface ApplicationConfigurationPackage extends EPackage
   int OBJECTIVE_FUNCTION_FEATURE_COUNT = 0;
 
   /**
-   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl <em>Reliabiltiy Function</em>}' class.
+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl <em>Reliability Objective Function</em>}' class.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabiltiyFunction()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabilityObjectiveFunction()
    * @generated
    */
-  int RELIABILTIY_FUNCTION = 37;
+  int RELIABILITY_OBJECTIVE_FUNCTION = 37;
 
   /**
    * The feature id for the '<em><b>Package</b></em>' reference.
@@ -1193,7 +1193,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated
    * @ordered
    */
-  int RELIABILTIY_FUNCTION__PACKAGE = OBJECTIVE_FUNCTION_FEATURE_COUNT + 0;
+  int RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE = OBJECTIVE_FUNCTION_FEATURE_COUNT + 0;
 
   /**
    * The feature id for the '<em><b>Transformation</b></em>' reference.
@@ -1202,16 +1202,99 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated
    * @ordered
    */
-  int RELIABILTIY_FUNCTION__TRANSFORMATION = OBJECTIVE_FUNCTION_FEATURE_COUNT + 1;
+  int RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION = OBJECTIVE_FUNCTION_FEATURE_COUNT + 1;
 
   /**
-   * The number of structural features of the '<em>Reliabiltiy Function</em>' class.
+   * The number of structural features of the '<em>Reliability Objective Function</em>' class.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
    * @generated
    * @ordered
    */
-  int RELIABILTIY_FUNCTION_FEATURE_COUNT = OBJECTIVE_FUNCTION_FEATURE_COUNT + 2;
+  int RELIABILITY_OBJECTIVE_FUNCTION_FEATURE_COUNT = OBJECTIVE_FUNCTION_FEATURE_COUNT + 2;
+
+  /**
+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl <em>Reliabiltiy Probability</em>}' class.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabiltiyProbability()
+   * @generated
+   */
+  int RELIABILTIY_PROBABILITY = 38;
+
+  /**
+   * The feature id for the '<em><b>Package</b></em>' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int RELIABILTIY_PROBABILITY__PACKAGE = RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE;
+
+  /**
+   * The feature id for the '<em><b>Transformation</b></em>' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int RELIABILTIY_PROBABILITY__TRANSFORMATION = RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION;
+
+  /**
+   * The feature id for the '<em><b>Time</b></em>' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int RELIABILTIY_PROBABILITY__TIME = RELIABILITY_OBJECTIVE_FUNCTION_FEATURE_COUNT + 0;
+
+  /**
+   * The number of structural features of the '<em>Reliabiltiy Probability</em>' class.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int RELIABILTIY_PROBABILITY_FEATURE_COUNT = RELIABILITY_OBJECTIVE_FUNCTION_FEATURE_COUNT + 1;
+
+  /**
+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.MtffImpl <em>Mtff</em>}' class.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.MtffImpl
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getMtff()
+   * @generated
+   */
+  int MTFF = 39;
+
+  /**
+   * The feature id for the '<em><b>Package</b></em>' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int MTFF__PACKAGE = RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE;
+
+  /**
+   * The feature id for the '<em><b>Transformation</b></em>' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int MTFF__TRANSFORMATION = RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION;
+
+  /**
+   * The number of structural features of the '<em>Mtff</em>' class.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   * @ordered
+   */
+  int MTFF_FEATURE_COUNT = RELIABILITY_OBJECTIVE_FUNCTION_FEATURE_COUNT + 0;
 
   /**
    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectiveDeclarationImpl <em>Objective Declaration</em>}' class.
@@ -1221,7 +1304,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectiveDeclaration()
    * @generated
    */
-  int OBJECTIVE_DECLARATION = 38;
+  int OBJECTIVE_DECLARATION = 40;
 
   /**
    * The feature id for the '<em><b>Name</b></em>' attribute.
@@ -1258,7 +1341,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectiveReference()
    * @generated
    */
-  int OBJECTIVE_REFERENCE = 39;
+  int OBJECTIVE_REFERENCE = 41;
 
   /**
    * The feature id for the '<em><b>Referred</b></em>' reference.
@@ -1286,7 +1369,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getConfig()
    * @generated
    */
-  int CONFIG = 49;
+  int CONFIG = 51;
 
   /**
    * The number of structural features of the '<em>Config</em>' class.
@@ -1305,7 +1388,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getConfigSpecification()
    * @generated
    */
-  int CONFIG_SPECIFICATION = 41;
+  int CONFIG_SPECIFICATION = 43;
 
   /**
    * The feature id for the '<em><b>Entries</b></em>' containment reference list.
@@ -1333,7 +1416,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getConfigDeclaration()
    * @generated
    */
-  int CONFIG_DECLARATION = 42;
+  int CONFIG_DECLARATION = 44;
 
   /**
    * The feature id for the '<em><b>Name</b></em>' attribute.
@@ -1370,7 +1453,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getConfigEntry()
    * @generated
    */
-  int CONFIG_ENTRY = 43;
+  int CONFIG_ENTRY = 45;
 
   /**
    * The number of structural features of the '<em>Config Entry</em>' class.
@@ -1389,7 +1472,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getDocumentationEntry()
    * @generated
    */
-  int DOCUMENTATION_ENTRY = 44;
+  int DOCUMENTATION_ENTRY = 46;
 
   /**
    * The feature id for the '<em><b>Level</b></em>' attribute.
@@ -1417,7 +1500,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRuntimeEntry()
    * @generated
    */
-  int RUNTIME_ENTRY = 45;
+  int RUNTIME_ENTRY = 47;
 
   /**
    * The feature id for the '<em><b>Millisec Limit</b></em>' attribute.
@@ -1445,7 +1528,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getMemoryEntry()
    * @generated
    */
-  int MEMORY_ENTRY = 46;
+  int MEMORY_ENTRY = 48;
 
   /**
    * The feature id for the '<em><b>Megabyte Limit</b></em>' attribute.
@@ -1473,7 +1556,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getCustomEntry()
    * @generated
    */
-  int CUSTOM_ENTRY = 47;
+  int CUSTOM_ENTRY = 49;
 
   /**
    * The feature id for the '<em><b>Key</b></em>' attribute.
@@ -1510,7 +1593,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getConfigReference()
    * @generated
    */
-  int CONFIG_REFERENCE = 48;
+  int CONFIG_REFERENCE = 50;
 
   /**
    * The feature id for the '<em><b>Config</b></em>' reference.
@@ -1538,7 +1621,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScope()
    * @generated
    */
-  int SCOPE = 71;
+  int SCOPE = 73;
 
   /**
    * The number of structural features of the '<em>Scope</em>' class.
@@ -1557,7 +1640,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeSpecification()
    * @generated
    */
-  int SCOPE_SPECIFICATION = 50;
+  int SCOPE_SPECIFICATION = 52;
 
   /**
    * The feature id for the '<em><b>Scopes</b></em>' containment reference list.
@@ -1585,7 +1668,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeScope()
    * @generated
    */
-  int TYPE_SCOPE = 51;
+  int TYPE_SCOPE = 53;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1631,7 +1714,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope()
    * @generated
    */
-  int CLASS_TYPE_SCOPE = 52;
+  int CLASS_TYPE_SCOPE = 54;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1686,7 +1769,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope()
    * @generated
    */
-  int OBJECT_TYPE_SCOPE = 53;
+  int OBJECT_TYPE_SCOPE = 55;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1741,7 +1824,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope()
    * @generated
    */
-  int INTEGER_TYPE_SCOPE = 54;
+  int INTEGER_TYPE_SCOPE = 56;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1796,7 +1879,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope()
    * @generated
    */
-  int REAL_TYPE_SCOPE = 55;
+  int REAL_TYPE_SCOPE = 57;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1851,7 +1934,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope()
    * @generated
    */
-  int STRING_TYPE_SCOPE = 56;
+  int STRING_TYPE_SCOPE = 58;
 
   /**
    * The feature id for the '<em><b>Sets New</b></em>' attribute.
@@ -1906,7 +1989,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference()
    * @generated
    */
-  int TYPE_REFERENCE = 57;
+  int TYPE_REFERENCE = 59;
 
   /**
    * The number of structural features of the '<em>Type Reference</em>' class.
@@ -1925,7 +2008,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference()
    * @generated
    */
-  int CLASS_REFERENCE = 58;
+  int CLASS_REFERENCE = 60;
 
   /**
    * The feature id for the '<em><b>Element</b></em>' containment reference.
@@ -1953,7 +2036,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference()
    * @generated
    */
-  int OBJECT_REFERENCE = 59;
+  int OBJECT_REFERENCE = 61;
 
   /**
    * The number of structural features of the '<em>Object Reference</em>' class.
@@ -1972,7 +2055,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference()
    * @generated
    */
-  int INTEGER_REFERENCE = 60;
+  int INTEGER_REFERENCE = 62;
 
   /**
    * The number of structural features of the '<em>Integer Reference</em>' class.
@@ -1991,7 +2074,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference()
    * @generated
    */
-  int REAL_REFERENCE = 61;
+  int REAL_REFERENCE = 63;
 
   /**
    * The number of structural features of the '<em>Real Reference</em>' class.
@@ -2010,7 +2093,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference()
    * @generated
    */
-  int STRING_REFERENCE = 62;
+  int STRING_REFERENCE = 64;
 
   /**
    * The number of structural features of the '<em>String Reference</em>' class.
@@ -2029,7 +2112,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification()
    * @generated
    */
-  int NUMBER_SPECIFICATION = 63;
+  int NUMBER_SPECIFICATION = 65;
 
   /**
    * The number of structural features of the '<em>Number Specification</em>' class.
@@ -2048,7 +2131,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber()
    * @generated
    */
-  int EXACT_NUMBER = 64;
+  int EXACT_NUMBER = 66;
 
   /**
    * The feature id for the '<em><b>Exact Number</b></em>' attribute.
@@ -2085,7 +2168,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber()
    * @generated
    */
-  int INTERVALL_NUMBER = 65;
+  int INTERVALL_NUMBER = 67;
 
   /**
    * The feature id for the '<em><b>Min</b></em>' attribute.
@@ -2131,7 +2214,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation()
    * @generated
    */
-  int INT_ENUMBERATION = 66;
+  int INT_ENUMBERATION = 68;
 
   /**
    * The feature id for the '<em><b>Entry</b></em>' attribute list.
@@ -2159,7 +2242,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration()
    * @generated
    */
-  int REAL_ENUMERATION = 67;
+  int REAL_ENUMERATION = 69;
 
   /**
    * The feature id for the '<em><b>Entry</b></em>' attribute list.
@@ -2187,7 +2270,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration()
    * @generated
    */
-  int STRING_ENUMERATION = 68;
+  int STRING_ENUMERATION = 70;
 
   /**
    * The feature id for the '<em><b>Entry</b></em>' attribute list.
@@ -2215,7 +2298,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeDeclaration()
    * @generated
    */
-  int SCOPE_DECLARATION = 69;
+  int SCOPE_DECLARATION = 71;
 
   /**
    * The feature id for the '<em><b>Name</b></em>' attribute.
@@ -2252,7 +2335,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeReference()
    * @generated
    */
-  int SCOPE_REFERENCE = 70;
+  int SCOPE_REFERENCE = 72;
 
   /**
    * The feature id for the '<em><b>Referred</b></em>' reference.
@@ -2280,7 +2363,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTask()
    * @generated
    */
-  int TASK = 72;
+  int TASK = 74;
 
   /**
    * The number of structural features of the '<em>Task</em>' class.
@@ -2299,7 +2382,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getGenerationTask()
    * @generated
    */
-  int GENERATION_TASK = 73;
+  int GENERATION_TASK = 75;
 
   /**
    * The feature id for the '<em><b>Metamodel</b></em>' containment reference.
@@ -2453,7 +2536,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerScope()
    * @generated
    */
-  int INTEGER_SCOPE = 74;
+  int INTEGER_SCOPE = 76;
 
   /**
    * The number of structural features of the '<em>Integer Scope</em>' class.
@@ -2472,7 +2555,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealScope()
    * @generated
    */
-  int REAL_SCOPE = 75;
+  int REAL_SCOPE = 77;
 
   /**
    * The number of structural features of the '<em>Real Scope</em>' class.
@@ -2491,7 +2574,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringScope()
    * @generated
    */
-  int STRING_SCOPE = 76;
+  int STRING_SCOPE = 78;
 
   /**
    * The number of structural features of the '<em>String Scope</em>' class.
@@ -2510,7 +2593,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getOptimizationDirection()
    * @generated
    */
-  int OPTIMIZATION_DIRECTION = 77;
+  int OPTIMIZATION_DIRECTION = 79;
 
   /**
    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ComparisonOperator <em>Comparison Operator</em>}' enum.
@@ -2520,7 +2603,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getComparisonOperator()
    * @generated
    */
-  int COMPARISON_OPERATOR = 78;
+  int COMPARISON_OPERATOR = 80;
 
   /**
    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.DocumentLevelSpecification <em>Document Level Specification</em>}' enum.
@@ -2530,7 +2613,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getDocumentLevelSpecification()
    * @generated
    */
-  int DOCUMENT_LEVEL_SPECIFICATION = 79;
+  int DOCUMENT_LEVEL_SPECIFICATION = 81;
 
   /**
    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver <em>Solver</em>}' enum.
@@ -2540,7 +2623,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getSolver()
    * @generated
    */
-  int SOLVER = 80;
+  int SOLVER = 82;
 
 
   /**
@@ -3266,36 +3349,67 @@ public interface ApplicationConfigurationPackage extends EPackage
   EClass getObjectiveFunction();
 
   /**
-   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction <em>Reliabiltiy Function</em>}'.
+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction <em>Reliability Objective Function</em>}'.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
-   * @return the meta object for class '<em>Reliabiltiy Function</em>'.
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction
+   * @return the meta object for class '<em>Reliability Objective Function</em>'.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction
    * @generated
    */
-  EClass getReliabiltiyFunction();
+  EClass getReliabilityObjectiveFunction();
 
   /**
-   * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getPackage <em>Package</em>}'.
+   * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getPackage <em>Package</em>}'.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
    * @return the meta object for the reference '<em>Package</em>'.
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getPackage()
-   * @see #getReliabiltiyFunction()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getPackage()
+   * @see #getReliabilityObjectiveFunction()
    * @generated
    */
-  EReference getReliabiltiyFunction_Package();
+  EReference getReliabilityObjectiveFunction_Package();
 
   /**
-   * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getTransformation <em>Transformation</em>}'.
+   * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getTransformation <em>Transformation</em>}'.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
    * @return the meta object for the reference '<em>Transformation</em>'.
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getTransformation()
-   * @see #getReliabiltiyFunction()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getTransformation()
+   * @see #getReliabilityObjectiveFunction()
+   * @generated
+   */
+  EReference getReliabilityObjectiveFunction_Transformation();
+
+  /**
+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability <em>Reliabiltiy Probability</em>}'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return the meta object for class '<em>Reliabiltiy Probability</em>'.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability
+   * @generated
+   */
+  EClass getReliabiltiyProbability();
+
+  /**
+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability#getTime <em>Time</em>}'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return the meta object for the attribute '<em>Time</em>'.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability#getTime()
+   * @see #getReliabiltiyProbability()
+   * @generated
+   */
+  EAttribute getReliabiltiyProbability_Time();
+
+  /**
+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff <em>Mtff</em>}'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return the meta object for class '<em>Mtff</em>'.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff
    * @generated
    */
-  EReference getReliabiltiyFunction_Transformation();
+  EClass getMtff();
 
   /**
    * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveDeclaration <em>Objective Declaration</em>}'.
@@ -4872,14 +4986,14 @@ public interface ApplicationConfigurationPackage extends EPackage
     EClass OBJECTIVE_FUNCTION = eINSTANCE.getObjectiveFunction();
 
     /**
-     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl <em>Reliabiltiy Function</em>}' class.
+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl <em>Reliability Objective Function</em>}' class.
      * <!-- begin-user-doc -->
      * <!-- end-user-doc -->
-     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl
-     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabiltiyFunction()
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabilityObjectiveFunction()
      * @generated
      */
-    EClass RELIABILTIY_FUNCTION = eINSTANCE.getReliabiltiyFunction();
+    EClass RELIABILITY_OBJECTIVE_FUNCTION = eINSTANCE.getReliabilityObjectiveFunction();
 
     /**
      * The meta object literal for the '<em><b>Package</b></em>' reference feature.
@@ -4887,7 +5001,7 @@ public interface ApplicationConfigurationPackage extends EPackage
      * <!-- end-user-doc -->
      * @generated
      */
-    EReference RELIABILTIY_FUNCTION__PACKAGE = eINSTANCE.getReliabiltiyFunction_Package();
+    EReference RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE = eINSTANCE.getReliabilityObjectiveFunction_Package();
 
     /**
      * The meta object literal for the '<em><b>Transformation</b></em>' reference feature.
@@ -4895,7 +5009,35 @@ public interface ApplicationConfigurationPackage extends EPackage
      * <!-- end-user-doc -->
      * @generated
      */
-    EReference RELIABILTIY_FUNCTION__TRANSFORMATION = eINSTANCE.getReliabiltiyFunction_Transformation();
+    EReference RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION = eINSTANCE.getReliabilityObjectiveFunction_Transformation();
+
+    /**
+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl <em>Reliabiltiy Probability</em>}' class.
+     * <!-- begin-user-doc -->
+     * <!-- end-user-doc -->
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getReliabiltiyProbability()
+     * @generated
+     */
+    EClass RELIABILTIY_PROBABILITY = eINSTANCE.getReliabiltiyProbability();
+
+    /**
+     * The meta object literal for the '<em><b>Time</b></em>' attribute feature.
+     * <!-- begin-user-doc -->
+     * <!-- end-user-doc -->
+     * @generated
+     */
+    EAttribute RELIABILTIY_PROBABILITY__TIME = eINSTANCE.getReliabiltiyProbability_Time();
+
+    /**
+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.MtffImpl <em>Mtff</em>}' class.
+     * <!-- begin-user-doc -->
+     * <!-- end-user-doc -->
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.MtffImpl
+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getMtff()
+     * @generated
+     */
+    EClass MTFF = eINSTANCE.getMtff();
 
     /**
      * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectiveDeclarationImpl <em>Objective Declaration</em>}' class.
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Mtff.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Mtff.java
new file mode 100644
index 00000000..7206fa95
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Mtff.java
@@ -0,0 +1,19 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Mtff</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getMtff()
+ * @model
+ * @generated
+ */
+public interface Mtff extends ReliabilityObjectiveFunction
+{
+} // Mtff
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabiltiyFunction.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabilityObjectiveFunction.java
index bb286aa0..0b7a34bd 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabiltiyFunction.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabilityObjectiveFunction.java
@@ -8,22 +8,22 @@ import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Transformatio
 
 /**
  * <!-- begin-user-doc -->
- * A representation of the model object '<em><b>Reliabiltiy Function</b></em>'.
+ * A representation of the model object '<em><b>Reliability Objective Function</b></em>'.
  * <!-- end-user-doc -->
  *
  * <p>
  * The following features are supported:
  * </p>
  * <ul>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getPackage <em>Package</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getTransformation <em>Transformation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getPackage <em>Package</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getTransformation <em>Transformation</em>}</li>
  * </ul>
  *
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabiltiyFunction()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabilityObjectiveFunction()
  * @model
  * @generated
  */
-public interface ReliabiltiyFunction extends ObjectiveFunction
+public interface ReliabilityObjectiveFunction extends ObjectiveFunction
 {
   /**
    * Returns the value of the '<em><b>Package</b></em>' reference.
@@ -35,14 +35,14 @@ public interface ReliabiltiyFunction extends ObjectiveFunction
    * <!-- end-user-doc -->
    * @return the value of the '<em>Package</em>' reference.
    * @see #setPackage(CftModel)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabiltiyFunction_Package()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabilityObjectiveFunction_Package()
    * @model
    * @generated
    */
   CftModel getPackage();
 
   /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getPackage <em>Package</em>}' reference.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getPackage <em>Package</em>}' reference.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
    * @param value the new value of the '<em>Package</em>' reference.
@@ -61,14 +61,14 @@ public interface ReliabiltiyFunction extends ObjectiveFunction
    * <!-- end-user-doc -->
    * @return the value of the '<em>Transformation</em>' reference.
    * @see #setTransformation(TransformationDefinition)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabiltiyFunction_Transformation()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabilityObjectiveFunction_Transformation()
    * @model
    * @generated
    */
   TransformationDefinition getTransformation();
 
   /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction#getTransformation <em>Transformation</em>}' reference.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction#getTransformation <em>Transformation</em>}' reference.
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
    * @param value the new value of the '<em>Transformation</em>' reference.
@@ -77,4 +77,4 @@ public interface ReliabiltiyFunction extends ObjectiveFunction
    */
   void setTransformation(TransformationDefinition value);
 
-} // ReliabiltiyFunction
+} // ReliabilityObjectiveFunction
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabiltiyProbability.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabiltiyProbability.java
new file mode 100644
index 00000000..42c895ec
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ReliabiltiyProbability.java
@@ -0,0 +1,52 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import java.math.BigDecimal;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Reliabiltiy Probability</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability#getTime <em>Time</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabiltiyProbability()
+ * @model
+ * @generated
+ */
+public interface ReliabiltiyProbability extends ReliabilityObjectiveFunction
+{
+  /**
+   * Returns the value of the '<em><b>Time</b></em>' attribute.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Time</em>' attribute isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Time</em>' attribute.
+   * @see #setTime(BigDecimal)
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getReliabiltiyProbability_Time()
+   * @model
+   * @generated
+   */
+  BigDecimal getTime();
+
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability#getTime <em>Time</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Time</em>' attribute.
+   * @see #getTime()
+   * @generated
+   */
+  void setTime(BigDecimal value);
+
+} // ReliabiltiyProbability
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
index 800d4362..9ec9412a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
@@ -103,7 +103,9 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
       case ApplicationConfigurationPackage.OPTIMIZATION_ENTRY: return createOptimizationEntry();
       case ApplicationConfigurationPackage.THRESHOLD_ENTRY: return createThresholdEntry();
       case ApplicationConfigurationPackage.OBJECTIVE_FUNCTION: return createObjectiveFunction();
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION: return createReliabiltiyFunction();
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION: return createReliabilityObjectiveFunction();
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY: return createReliabiltiyProbability();
+      case ApplicationConfigurationPackage.MTFF: return createMtff();
       case ApplicationConfigurationPackage.OBJECTIVE_DECLARATION: return createObjectiveDeclaration();
       case ApplicationConfigurationPackage.OBJECTIVE_REFERENCE: return createObjectiveReference();
       case ApplicationConfigurationPackage.OBJECTIVE: return createObjective();
@@ -644,10 +646,34 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * @generated
    */
   @Override
-  public ReliabiltiyFunction createReliabiltiyFunction()
+  public ReliabilityObjectiveFunction createReliabilityObjectiveFunction()
   {
-    ReliabiltiyFunctionImpl reliabiltiyFunction = new ReliabiltiyFunctionImpl();
-    return reliabiltiyFunction;
+    ReliabilityObjectiveFunctionImpl reliabilityObjectiveFunction = new ReliabilityObjectiveFunctionImpl();
+    return reliabilityObjectiveFunction;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public ReliabiltiyProbability createReliabiltiyProbability()
+  {
+    ReliabiltiyProbabilityImpl reliabiltiyProbability = new ReliabiltiyProbabilityImpl();
+    return reliabiltiyProbability;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Mtff createMtff()
+  {
+    MtffImpl mtff = new MtffImpl();
+    return mtff;
   }
 
   /**
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index ec53c91c..c1aff1fe 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -47,6 +47,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;
@@ -70,7 +71,8 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnume
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEntry;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
@@ -382,7 +384,21 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  private EClass reliabiltiyFunctionEClass = null;
+  private EClass reliabilityObjectiveFunctionEClass = null;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  private EClass reliabiltiyProbabilityEClass = null;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  private EClass mtffEClass = null;
 
   /**
    * <!-- begin-user-doc -->
@@ -1523,9 +1539,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EClass getReliabiltiyFunction()
+  public EClass getReliabilityObjectiveFunction()
   {
-    return reliabiltiyFunctionEClass;
+    return reliabilityObjectiveFunctionEClass;
   }
 
   /**
@@ -1534,9 +1550,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EReference getReliabiltiyFunction_Package()
+  public EReference getReliabilityObjectiveFunction_Package()
   {
-    return (EReference)reliabiltiyFunctionEClass.getEStructuralFeatures().get(0);
+    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(0);
   }
 
   /**
@@ -1545,9 +1561,42 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EReference getReliabiltiyFunction_Transformation()
+  public EReference getReliabilityObjectiveFunction_Transformation()
   {
-    return (EReference)reliabiltiyFunctionEClass.getEStructuralFeatures().get(1);
+    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(1);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EClass getReliabiltiyProbability()
+  {
+    return reliabiltiyProbabilityEClass;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EAttribute getReliabiltiyProbability_Time()
+  {
+    return (EAttribute)reliabiltiyProbabilityEClass.getEStructuralFeatures().get(0);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EClass getMtff()
+  {
+    return mtffEClass;
   }
 
   /**
@@ -2655,9 +2704,14 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 
     objectiveFunctionEClass = createEClass(OBJECTIVE_FUNCTION);
 
-    reliabiltiyFunctionEClass = createEClass(RELIABILTIY_FUNCTION);
-    createEReference(reliabiltiyFunctionEClass, RELIABILTIY_FUNCTION__PACKAGE);
-    createEReference(reliabiltiyFunctionEClass, RELIABILTIY_FUNCTION__TRANSFORMATION);
+    reliabilityObjectiveFunctionEClass = createEClass(RELIABILITY_OBJECTIVE_FUNCTION);
+    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE);
+    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION);
+
+    reliabiltiyProbabilityEClass = createEClass(RELIABILTIY_PROBABILITY);
+    createEAttribute(reliabiltiyProbabilityEClass, RELIABILTIY_PROBABILITY__TIME);
+
+    mtffEClass = createEClass(MTFF);
 
     objectiveDeclarationEClass = createEClass(OBJECTIVE_DECLARATION);
     createEReference(objectiveDeclarationEClass, OBJECTIVE_DECLARATION__SPECIFICATION);
@@ -2848,7 +2902,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     objectiveSpecificationEClass.getESuperTypes().add(this.getObjective());
     optimizationEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
     thresholdEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
-    reliabiltiyFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
+    reliabilityObjectiveFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
+    reliabiltiyProbabilityEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
+    mtffEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
     objectiveDeclarationEClass.getESuperTypes().add(this.getDeclaration());
     objectiveReferenceEClass.getESuperTypes().add(this.getObjective());
     configSpecificationEClass.getESuperTypes().add(this.getConfig());
@@ -2989,9 +3045,14 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 
     initEClass(objectiveFunctionEClass, ObjectiveFunction.class, "ObjectiveFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
 
-    initEClass(reliabiltiyFunctionEClass, ReliabiltiyFunction.class, "ReliabiltiyFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEReference(getReliabiltiyFunction_Package(), theCftLanguagePackage.getCftModel(), null, "package", null, 0, 1, ReliabiltiyFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEReference(getReliabiltiyFunction_Transformation(), theCftLanguagePackage.getTransformationDefinition(), null, "transformation", null, 0, 1, ReliabiltiyFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEClass(reliabilityObjectiveFunctionEClass, ReliabilityObjectiveFunction.class, "ReliabilityObjectiveFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+    initEReference(getReliabilityObjectiveFunction_Package(), theCftLanguagePackage.getCftModel(), null, "package", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEReference(getReliabilityObjectiveFunction_Transformation(), theCftLanguagePackage.getTransformationDefinition(), null, "transformation", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+    initEClass(reliabiltiyProbabilityEClass, ReliabiltiyProbability.class, "ReliabiltiyProbability", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+    initEAttribute(getReliabiltiyProbability_Time(), theEcorePackage.getEBigDecimal(), "time", null, 0, 1, ReliabiltiyProbability.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+    initEClass(mtffEClass, Mtff.class, "Mtff", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
 
     initEClass(objectiveDeclarationEClass, ObjectiveDeclaration.class, "ObjectiveDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
     initEReference(getObjectiveDeclaration_Specification(), this.getObjectiveSpecification(), null, "specification", null, 0, 1, ObjectiveDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java
new file mode 100644
index 00000000..aeeacd58
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Mtff</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class MtffImpl extends ReliabilityObjectiveFunctionImpl implements Mtff
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected MtffImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.MTFF;
+  }
+
+} //MtffImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyFunctionImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabilityObjectiveFunctionImpl.java
index b848c329..d0008224 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyFunctionImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabilityObjectiveFunctionImpl.java
@@ -4,7 +4,7 @@
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
 
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction;
 
 import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel;
 import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
@@ -18,19 +18,19 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
 
 /**
  * <!-- begin-user-doc -->
- * An implementation of the model object '<em><b>Reliabiltiy Function</b></em>'.
+ * An implementation of the model object '<em><b>Reliability Objective Function</b></em>'.
  * <!-- end-user-doc -->
  * <p>
  * The following features are implemented:
  * </p>
  * <ul>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl#getPackage <em>Package</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl#getTransformation <em>Transformation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl#getPackage <em>Package</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl#getTransformation <em>Transformation</em>}</li>
  * </ul>
  *
  * @generated
  */
-public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements ReliabiltiyFunction
+public class ReliabilityObjectiveFunctionImpl extends ObjectiveFunctionImpl implements ReliabilityObjectiveFunction
 {
   /**
    * The cached value of the '{@link #getPackage() <em>Package</em>}' reference.
@@ -57,7 +57,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
    * <!-- end-user-doc -->
    * @generated
    */
-  protected ReliabiltiyFunctionImpl()
+  protected ReliabilityObjectiveFunctionImpl()
   {
     super();
   }
@@ -70,7 +70,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   @Override
   protected EClass eStaticClass()
   {
-    return ApplicationConfigurationPackage.Literals.RELIABILTIY_FUNCTION;
+    return ApplicationConfigurationPackage.Literals.RELIABILITY_OBJECTIVE_FUNCTION;
   }
 
   /**
@@ -88,7 +88,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
       if (package_ != oldPackage)
       {
         if (eNotificationRequired())
-          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE, oldPackage, package_));
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE, oldPackage, package_));
       }
     }
     return package_;
@@ -115,7 +115,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
     CftModel oldPackage = package_;
     package_ = newPackage;
     if (eNotificationRequired())
-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE, oldPackage, package_));
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE, oldPackage, package_));
   }
 
   /**
@@ -133,7 +133,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
       if (transformation != oldTransformation)
       {
         if (eNotificationRequired())
-          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
       }
     }
     return transformation;
@@ -160,7 +160,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
     TransformationDefinition oldTransformation = transformation;
     transformation = newTransformation;
     if (eNotificationRequired())
-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
   }
 
   /**
@@ -173,10 +173,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         if (resolve) return getPackage();
         return basicGetPackage();
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         if (resolve) return getTransformation();
         return basicGetTransformation();
     }
@@ -193,10 +193,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         setPackage((CftModel)newValue);
         return;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         setTransformation((TransformationDefinition)newValue);
         return;
     }
@@ -213,10 +213,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         setPackage((CftModel)null);
         return;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         setTransformation((TransformationDefinition)null);
         return;
     }
@@ -233,12 +233,12 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         return package_ != null;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         return transformation != null;
     }
     return super.eIsSet(featureID);
   }
 
-} //ReliabiltiyFunctionImpl
+} //ReliabilityObjectiveFunctionImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java
new file mode 100644
index 00000000..b1940e3d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java
@@ -0,0 +1,181 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability;
+
+import java.math.BigDecimal;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Reliabiltiy Probability</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl#getTime <em>Time</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ReliabiltiyProbabilityImpl extends ReliabilityObjectiveFunctionImpl implements ReliabiltiyProbability
+{
+  /**
+   * The default value of the '{@link #getTime() <em>Time</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTime()
+   * @generated
+   * @ordered
+   */
+  protected static final BigDecimal TIME_EDEFAULT = null;
+
+  /**
+   * The cached value of the '{@link #getTime() <em>Time</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTime()
+   * @generated
+   * @ordered
+   */
+  protected BigDecimal time = TIME_EDEFAULT;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ReliabiltiyProbabilityImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.RELIABILTIY_PROBABILITY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public BigDecimal getTime()
+  {
+    return time;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void setTime(BigDecimal newTime)
+  {
+    BigDecimal oldTime = time;
+    time = newTime;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME, oldTime, time));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        return getTime();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        setTime((BigDecimal)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        setTime(TIME_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        return TIME_EDEFAULT == null ? time != null : !TIME_EDEFAULT.equals(time);
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuilder result = new StringBuilder(super.toString());
+    result.append(" (time: ");
+    result.append(time);
+    result.append(')');
+    return result.toString();
+  }
+
+} //ReliabiltiyProbabilityImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
index a96c7f83..0d52290c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
@@ -261,9 +261,19 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
         return createObjectiveFunctionAdapter();
       }
       @Override
-      public Adapter caseReliabiltiyFunction(ReliabiltiyFunction object)
+      public Adapter caseReliabilityObjectiveFunction(ReliabilityObjectiveFunction object)
       {
-        return createReliabiltiyFunctionAdapter();
+        return createReliabilityObjectiveFunctionAdapter();
+      }
+      @Override
+      public Adapter caseReliabiltiyProbability(ReliabiltiyProbability object)
+      {
+        return createReliabiltiyProbabilityAdapter();
+      }
+      @Override
+      public Adapter caseMtff(Mtff object)
+      {
+        return createMtffAdapter();
       }
       @Override
       public Adapter caseObjectiveDeclaration(ObjectiveDeclaration object)
@@ -1038,16 +1048,46 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
   }
 
   /**
-   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction <em>Reliabiltiy Function</em>}'.
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction <em>Reliability Objective Function</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction
+   * @generated
+   */
+  public Adapter createReliabilityObjectiveFunctionAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability <em>Reliabiltiy Probability</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability
+   * @generated
+   */
+  public Adapter createReliabiltiyProbabilityAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff <em>Mtff</em>}'.
    * <!-- begin-user-doc -->
    * This default implementation returns null so that we can easily ignore cases;
    * it's useful to ignore a case when inheritance will catch all the cases anyway.
    * <!-- end-user-doc -->
    * @return the new adapter.
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff
    * @generated
    */
-  public Adapter createReliabiltiyFunctionAdapter()
+  public Adapter createMtffAdapter()
   {
     return null;
   }
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
index d907f53c..0fcc39dc 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
@@ -361,11 +361,29 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);
         return result;
       }
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION:
       {
-        ReliabiltiyFunction reliabiltiyFunction = (ReliabiltiyFunction)theEObject;
-        T result = caseReliabiltiyFunction(reliabiltiyFunction);
-        if (result == null) result = caseObjectiveFunction(reliabiltiyFunction);
+        ReliabilityObjectiveFunction reliabilityObjectiveFunction = (ReliabilityObjectiveFunction)theEObject;
+        T result = caseReliabilityObjectiveFunction(reliabilityObjectiveFunction);
+        if (result == null) result = caseObjectiveFunction(reliabilityObjectiveFunction);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY:
+      {
+        ReliabiltiyProbability reliabiltiyProbability = (ReliabiltiyProbability)theEObject;
+        T result = caseReliabiltiyProbability(reliabiltiyProbability);
+        if (result == null) result = caseReliabilityObjectiveFunction(reliabiltiyProbability);
+        if (result == null) result = caseObjectiveFunction(reliabiltiyProbability);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case ApplicationConfigurationPackage.MTFF:
+      {
+        Mtff mtff = (Mtff)theEObject;
+        T result = caseMtff(mtff);
+        if (result == null) result = caseReliabilityObjectiveFunction(mtff);
+        if (result == null) result = caseObjectiveFunction(mtff);
         if (result == null) result = defaultCase(theEObject);
         return result;
       }
@@ -1278,17 +1296,49 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
   }
 
   /**
-   * Returns the result of interpreting the object as an instance of '<em>Reliabiltiy Function</em>'.
+   * Returns the result of interpreting the object as an instance of '<em>Reliability Objective Function</em>'.
+   * <!-- begin-user-doc -->
+   * This implementation returns null;
+   * returning a non-null result will terminate the switch.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>Reliability Objective Function</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseReliabilityObjectiveFunction(ReliabilityObjectiveFunction object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>Reliabiltiy Probability</em>'.
+   * <!-- begin-user-doc -->
+   * This implementation returns null;
+   * returning a non-null result will terminate the switch.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>Reliabiltiy Probability</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseReliabiltiyProbability(ReliabiltiyProbability object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>Mtff</em>'.
    * <!-- begin-user-doc -->
    * This implementation returns null;
    * returning a non-null result will terminate the switch.
    * <!-- end-user-doc -->
    * @param object the target of the switch.
-   * @return the result of interpreting the object as an instance of '<em>Reliabiltiy Function</em>'.
+   * @return the result of interpreting the object as an instance of '<em>Mtff</em>'.
    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
    * @generated
    */
-  public T caseReliabiltiyFunction(ReliabiltiyFunction object)
+  public T caseMtff(Mtff object)
   {
     return null;
   }