Extract component fault tree model

34 files changed, 6864 insertions, 0 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java
new file mode 100644
index 00000000..cdae0f09
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>And Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getAndGateDefinition()
+ * @model
+ * @generated
+ */
+public interface AndGateDefinition extends GateDefinition {
+} // AndGateDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java
new file mode 100644
index 00000000..c963dbfe
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java
@@ -0,0 +1,50 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Basic Event Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution <em>Distribution</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getBasicEventDefinition()
+ * @model
+ * @generated
+ */
+public interface BasicEventDefinition extends EventDefinition {
+        /**
+         * Returns the value of the '<em><b>Distribution</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Distribution</em>' containment reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Distribution</em>' containment reference.
+         * @see #setDistribution(Distribution)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getBasicEventDefinition_Distribution()
+         * @model containment="true" required="true"
+         * @generated
+         */
+        Distribution getDistribution();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution <em>Distribution</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Distribution</em>' containment reference.
+         * @see #getDistribution()
+         * @generated
+         */
+        void setDistribution(Distribution value);
+
+} // BasicEventDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java
new file mode 100644
index 00000000..d5f4cd76
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java
@@ -0,0 +1,132 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.ecore.EFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Factory</b> for the model.
+ * It provides a create method for each non-abstract class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage
+ * @generated
+ */
+public interface CftFactory extends EFactory {
+        /**
+         * The singleton instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        CftFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftFactoryImpl.init();
+
+        /**
+         * Returns a new object of class '<em>Component Definition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Component Definition</em>'.
+         * @generated
+         */
+        ComponentDefinition createComponentDefinition();
+
+        /**
+         * Returns a new object of class '<em>Basic Event Definition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Basic Event Definition</em>'.
+         * @generated
+         */
+        BasicEventDefinition createBasicEventDefinition();
+
+        /**
+         * Returns a new object of class '<em>Intput Event</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Intput Event</em>'.
+         * @generated
+         */
+        IntputEvent createIntputEvent();
+
+        /**
+         * Returns a new object of class '<em>And Gate Definition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>And Gate Definition</em>'.
+         * @generated
+         */
+        AndGateDefinition createAndGateDefinition();
+
+        /**
+         * Returns a new object of class '<em>Or Gate Definition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Or Gate Definition</em>'.
+         * @generated
+         */
+        OrGateDefinition createOrGateDefinition();
+
+        /**
+         * Returns a new object of class '<em>KOf MGate Definition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>KOf MGate Definition</em>'.
+         * @generated
+         */
+        KOfMGateDefinition createKOfMGateDefinition();
+
+        /**
+         * Returns a new object of class '<em>Component Fault Tree</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Component Fault Tree</em>'.
+         * @generated
+         */
+        ComponentFaultTree createComponentFaultTree();
+
+        /**
+         * Returns a new object of class '<em>Component</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Component</em>'.
+         * @generated
+         */
+        Component createComponent();
+
+        /**
+         * Returns a new object of class '<em>Input</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Input</em>'.
+         * @generated
+         */
+        Input createInput();
+
+        /**
+         * Returns a new object of class '<em>Output</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Output</em>'.
+         * @generated
+         */
+        Output createOutput();
+
+        /**
+         * Returns a new object of class '<em>Connection</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Connection</em>'.
+         * @generated
+         */
+        Connection createConnection();
+
+        /**
+         * Returns the package supported by this factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the package supported by this factory.
+         * @generated
+         */
+        CftPackage getCftPackage();
+
+} //CftFactory
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java
new file mode 100644
index 00000000..8cf7dbc6
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java
@@ -0,0 +1,1491 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Package</b> for the model.
+ * It contains accessors for the meta objects to represent
+ * <ul>
+ *   <li>each class,</li>
+ *   <li>each feature of each class,</li>
+ *   <li>each operation of each class,</li>
+ *   <li>each enum,</li>
+ *   <li>and each data type</li>
+ * </ul>
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory
+ * @model kind="package"
+ * @generated
+ */
+public interface CftPackage extends EPackage {
+        /**
+         * The package name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNAME = "cft";
+
+        /**
+         * The package namespace URI.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft";
+
+        /**
+         * The package namespace name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_PREFIX = "cft";
+
+        /**
+         * The singleton instance of the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        CftPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl.init();
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl <em>Component Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentDefinition()
+         * @generated
+         */
+        int COMPONENT_DEFINITION = 0;
+
+        /**
+         * The feature id for the '<em><b>Input Events</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION__INPUT_EVENTS = 0;
+
+        /**
+         * The feature id for the '<em><b>Event Definitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION__EVENT_DEFINITIONS = 1;
+
+        /**
+         * The feature id for the '<em><b>Output Events</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION__OUTPUT_EVENTS = 2;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION__NAME = 3;
+
+        /**
+         * The number of structural features of the '<em>Component Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION_FEATURE_COUNT = 4;
+
+        /**
+         * The number of operations of the '<em>Component Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_DEFINITION_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl <em>Event Declaration</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDeclaration()
+         * @generated
+         */
+        int EVENT_DECLARATION = 5;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DECLARATION__NAME = 0;
+
+        /**
+         * The number of structural features of the '<em>Event Declaration</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DECLARATION_FEATURE_COUNT = 1;
+
+        /**
+         * The number of operations of the '<em>Event Declaration</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DECLARATION_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl <em>Event Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDefinition()
+         * @generated
+         */
+        int EVENT_DEFINITION = 1;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DEFINITION__NAME = EVENT_DECLARATION__NAME;
+
+        /**
+         * The number of structural features of the '<em>Event Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DEFINITION_FEATURE_COUNT = EVENT_DECLARATION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Event Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EVENT_DEFINITION_OPERATION_COUNT = EVENT_DECLARATION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl <em>Gate Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getGateDefinition()
+         * @generated
+         */
+        int GATE_DEFINITION = 2;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int GATE_DEFINITION__NAME = EVENT_DEFINITION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Input Events</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int GATE_DEFINITION__INPUT_EVENTS = EVENT_DEFINITION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of structural features of the '<em>Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int GATE_DEFINITION_FEATURE_COUNT = EVENT_DEFINITION_FEATURE_COUNT + 1;
+
+        /**
+         * The number of operations of the '<em>Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int GATE_DEFINITION_OPERATION_COUNT = EVENT_DEFINITION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl <em>Basic Event Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getBasicEventDefinition()
+         * @generated
+         */
+        int BASIC_EVENT_DEFINITION = 3;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int BASIC_EVENT_DEFINITION__NAME = EVENT_DEFINITION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Distribution</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int BASIC_EVENT_DEFINITION__DISTRIBUTION = EVENT_DEFINITION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of structural features of the '<em>Basic Event Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int BASIC_EVENT_DEFINITION_FEATURE_COUNT = EVENT_DEFINITION_FEATURE_COUNT + 1;
+
+        /**
+         * The number of operations of the '<em>Basic Event Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int BASIC_EVENT_DEFINITION_OPERATION_COUNT = EVENT_DEFINITION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl <em>Intput Event</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getIntputEvent()
+         * @generated
+         */
+        int INTPUT_EVENT = 4;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INTPUT_EVENT__NAME = EVENT_DECLARATION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Multiple</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INTPUT_EVENT__MULTIPLE = EVENT_DECLARATION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of structural features of the '<em>Intput Event</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INTPUT_EVENT_FEATURE_COUNT = EVENT_DECLARATION_FEATURE_COUNT + 1;
+
+        /**
+         * The number of operations of the '<em>Intput Event</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INTPUT_EVENT_OPERATION_COUNT = EVENT_DECLARATION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl <em>And Gate Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getAndGateDefinition()
+         * @generated
+         */
+        int AND_GATE_DEFINITION = 6;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int AND_GATE_DEFINITION__NAME = GATE_DEFINITION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Input Events</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int AND_GATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS;
+
+        /**
+         * The number of structural features of the '<em>And Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int AND_GATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>And Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int AND_GATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl <em>Or Gate Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOrGateDefinition()
+         * @generated
+         */
+        int OR_GATE_DEFINITION = 7;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OR_GATE_DEFINITION__NAME = GATE_DEFINITION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Input Events</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OR_GATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS;
+
+        /**
+         * The number of structural features of the '<em>Or Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OR_GATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Or Gate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OR_GATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl <em>KOf MGate Definition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getKOfMGateDefinition()
+         * @generated
+         */
+        int KOF_MGATE_DEFINITION = 8;
+
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION__NAME = GATE_DEFINITION__NAME;
+
+        /**
+         * The feature id for the '<em><b>Input Events</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS;
+
+        /**
+         * The feature id for the '<em><b>K</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION__K = GATE_DEFINITION_FEATURE_COUNT + 0;
+
+        /**
+         * The feature id for the '<em><b>M</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION__M = GATE_DEFINITION_FEATURE_COUNT + 1;
+
+        /**
+         * The number of structural features of the '<em>KOf MGate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 2;
+
+        /**
+         * The number of operations of the '<em>KOf MGate Definition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KOF_MGATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl <em>Component Fault Tree</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentFaultTree()
+         * @generated
+         */
+        int COMPONENT_FAULT_TREE = 9;
+
+        /**
+         * The feature id for the '<em><b>Components</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_FAULT_TREE__COMPONENTS = 0;
+
+        /**
+         * The feature id for the '<em><b>Top Event</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_FAULT_TREE__TOP_EVENT = 1;
+
+        /**
+         * The number of structural features of the '<em>Component Fault Tree</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_FAULT_TREE_FEATURE_COUNT = 2;
+
+        /**
+         * The number of operations of the '<em>Component Fault Tree</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_FAULT_TREE_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl <em>Component</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponent()
+         * @generated
+         */
+        int COMPONENT = 10;
+
+        /**
+         * The feature id for the '<em><b>Inputs</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT__INPUTS = 0;
+
+        /**
+         * The feature id for the '<em><b>Outputs</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT__OUTPUTS = 1;
+
+        /**
+         * The feature id for the '<em><b>Component Definition</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT__COMPONENT_DEFINITION = 2;
+
+        /**
+         * The number of structural features of the '<em>Component</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_FEATURE_COUNT = 3;
+
+        /**
+         * The number of operations of the '<em>Component</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPONENT_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getInput()
+         * @generated
+         */
+        int INPUT = 11;
+
+        /**
+         * The feature id for the '<em><b>Intput Event</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INPUT__INTPUT_EVENT = 0;
+
+        /**
+         * The feature id for the '<em><b>Component</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INPUT__COMPONENT = 1;
+
+        /**
+         * The feature id for the '<em><b>Incoming Connections</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INPUT__INCOMING_CONNECTIONS = 2;
+
+        /**
+         * The number of structural features of the '<em>Input</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INPUT_FEATURE_COUNT = 3;
+
+        /**
+         * The number of operations of the '<em>Input</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int INPUT_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl <em>Output</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOutput()
+         * @generated
+         */
+        int OUTPUT = 12;
+
+        /**
+         * The feature id for the '<em><b>Event Declaration</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OUTPUT__EVENT_DECLARATION = 0;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Connections</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OUTPUT__OUTGOING_CONNECTIONS = 1;
+
+        /**
+         * The feature id for the '<em><b>Component</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OUTPUT__COMPONENT = 2;
+
+        /**
+         * The number of structural features of the '<em>Output</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OUTPUT_FEATURE_COUNT = 3;
+
+        /**
+         * The number of operations of the '<em>Output</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int OUTPUT_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl <em>Connection</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getConnection()
+         * @generated
+         */
+        int CONNECTION = 13;
+
+        /**
+         * The feature id for the '<em><b>Input</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CONNECTION__INPUT = 0;
+
+        /**
+         * The feature id for the '<em><b>Output</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CONNECTION__OUTPUT = 1;
+
+        /**
+         * The number of structural features of the '<em>Connection</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CONNECTION_FEATURE_COUNT = 2;
+
+        /**
+         * The number of operations of the '<em>Connection</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CONNECTION_OPERATION_COUNT = 0;
+
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition <em>Component Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Component Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition
+         * @generated
+         */
+        EClass getComponentDefinition();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getInputEvents <em>Input Events</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Input Events</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getInputEvents()
+         * @see #getComponentDefinition()
+         * @generated
+         */
+        EReference getComponentDefinition_InputEvents();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getEventDefinitions <em>Event Definitions</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Event Definitions</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getEventDefinitions()
+         * @see #getComponentDefinition()
+         * @generated
+         */
+        EReference getComponentDefinition_EventDefinitions();
+
+        /**
+         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getOutputEvents <em>Output Events</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Output Events</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getOutputEvents()
+         * @see #getComponentDefinition()
+         * @generated
+         */
+        EReference getComponentDefinition_OutputEvents();
+
+        /**
+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName <em>Name</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Name</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName()
+         * @see #getComponentDefinition()
+         * @generated
+         */
+        EAttribute getComponentDefinition_Name();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition <em>Event Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Event Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition
+         * @generated
+         */
+        EClass getEventDefinition();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition <em>Gate Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Gate Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition
+         * @generated
+         */
+        EClass getGateDefinition();
+
+        /**
+         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents <em>Input Events</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Input Events</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents()
+         * @see #getGateDefinition()
+         * @generated
+         */
+        EReference getGateDefinition_InputEvents();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition <em>Basic Event Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Basic Event Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition
+         * @generated
+         */
+        EClass getBasicEventDefinition();
+
+        /**
+         * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution <em>Distribution</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference '<em>Distribution</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution()
+         * @see #getBasicEventDefinition()
+         * @generated
+         */
+        EReference getBasicEventDefinition_Distribution();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent <em>Intput Event</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Intput Event</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent
+         * @generated
+         */
+        EClass getIntputEvent();
+
+        /**
+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple <em>Multiple</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Multiple</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple()
+         * @see #getIntputEvent()
+         * @generated
+         */
+        EAttribute getIntputEvent_Multiple();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration <em>Event Declaration</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Event Declaration</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration
+         * @generated
+         */
+        EClass getEventDeclaration();
+
+        /**
+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName <em>Name</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Name</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName()
+         * @see #getEventDeclaration()
+         * @generated
+         */
+        EAttribute getEventDeclaration_Name();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition <em>And Gate Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>And Gate Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition
+         * @generated
+         */
+        EClass getAndGateDefinition();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition <em>Or Gate Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Or Gate Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition
+         * @generated
+         */
+        EClass getOrGateDefinition();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition <em>KOf MGate Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>KOf MGate Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition
+         * @generated
+         */
+        EClass getKOfMGateDefinition();
+
+        /**
+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK <em>K</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>K</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK()
+         * @see #getKOfMGateDefinition()
+         * @generated
+         */
+        EAttribute getKOfMGateDefinition_K();
+
+        /**
+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM <em>M</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>M</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM()
+         * @see #getKOfMGateDefinition()
+         * @generated
+         */
+        EAttribute getKOfMGateDefinition_M();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree <em>Component Fault Tree</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Component Fault Tree</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree
+         * @generated
+         */
+        EClass getComponentFaultTree();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents <em>Components</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Components</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents()
+         * @see #getComponentFaultTree()
+         * @generated
+         */
+        EReference getComponentFaultTree_Components();
+
+        /**
+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent <em>Top Event</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Top Event</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent()
+         * @see #getComponentFaultTree()
+         * @generated
+         */
+        EReference getComponentFaultTree_TopEvent();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component <em>Component</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Component</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component
+         * @generated
+         */
+        EClass getComponent();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs <em>Inputs</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Inputs</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs()
+         * @see #getComponent()
+         * @generated
+         */
+        EReference getComponent_Inputs();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs <em>Outputs</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Outputs</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs()
+         * @see #getComponent()
+         * @generated
+         */
+        EReference getComponent_Outputs();
+
+        /**
+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition <em>Component Definition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Component Definition</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition()
+         * @see #getComponent()
+         * @generated
+         */
+        EReference getComponent_ComponentDefinition();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input <em>Input</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Input</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input
+         * @generated
+         */
+        EClass getInput();
+
+        /**
+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent <em>Intput Event</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Intput Event</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent()
+         * @see #getInput()
+         * @generated
+         */
+        EReference getInput_IntputEvent();
+
+        /**
+         * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent <em>Component</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the container reference '<em>Component</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent()
+         * @see #getInput()
+         * @generated
+         */
+        EReference getInput_Component();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections <em>Incoming Connections</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Incoming Connections</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections()
+         * @see #getInput()
+         * @generated
+         */
+        EReference getInput_IncomingConnections();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output <em>Output</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Output</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output
+         * @generated
+         */
+        EClass getOutput();
+
+        /**
+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration <em>Event Declaration</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Event Declaration</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration()
+         * @see #getOutput()
+         * @generated
+         */
+        EReference getOutput_EventDeclaration();
+
+        /**
+         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections <em>Outgoing Connections</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Outgoing Connections</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections()
+         * @see #getOutput()
+         * @generated
+         */
+        EReference getOutput_OutgoingConnections();
+
+        /**
+         * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent <em>Component</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the container reference '<em>Component</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent()
+         * @see #getOutput()
+         * @generated
+         */
+        EReference getOutput_Component();
+
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection <em>Connection</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Connection</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection
+         * @generated
+         */
+        EClass getConnection();
+
+        /**
+         * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput <em>Input</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the container reference '<em>Input</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput()
+         * @see #getConnection()
+         * @generated
+         */
+        EReference getConnection_Input();
+
+        /**
+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput <em>Output</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Output</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput()
+         * @see #getConnection()
+         * @generated
+         */
+        EReference getConnection_Output();
+
+        /**
+         * Returns the factory that creates the instances of the model.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the factory that creates the instances of the model.
+         * @generated
+         */
+        CftFactory getCftFactory();
+
+        /**
+         * <!-- begin-user-doc -->
+         * Defines literals for the meta objects that represent
+         * <ul>
+         *   <li>each class,</li>
+         *   <li>each feature of each class,</li>
+         *   <li>each operation of each class,</li>
+         *   <li>each enum,</li>
+         *   <li>and each data type</li>
+         * </ul>
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        interface Literals {
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl <em>Component Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentDefinition()
+                 * @generated
+                 */
+                EClass COMPONENT_DEFINITION = eINSTANCE.getComponentDefinition();
+
+                /**
+                 * The meta object literal for the '<em><b>Input Events</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT_DEFINITION__INPUT_EVENTS = eINSTANCE.getComponentDefinition_InputEvents();
+
+                /**
+                 * The meta object literal for the '<em><b>Event Definitions</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT_DEFINITION__EVENT_DEFINITIONS = eINSTANCE.getComponentDefinition_EventDefinitions();
+
+                /**
+                 * The meta object literal for the '<em><b>Output Events</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT_DEFINITION__OUTPUT_EVENTS = eINSTANCE.getComponentDefinition_OutputEvents();
+
+                /**
+                 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute COMPONENT_DEFINITION__NAME = eINSTANCE.getComponentDefinition_Name();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl <em>Event Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDefinition()
+                 * @generated
+                 */
+                EClass EVENT_DEFINITION = eINSTANCE.getEventDefinition();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl <em>Gate Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getGateDefinition()
+                 * @generated
+                 */
+                EClass GATE_DEFINITION = eINSTANCE.getGateDefinition();
+
+                /**
+                 * The meta object literal for the '<em><b>Input Events</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference GATE_DEFINITION__INPUT_EVENTS = eINSTANCE.getGateDefinition_InputEvents();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl <em>Basic Event Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getBasicEventDefinition()
+                 * @generated
+                 */
+                EClass BASIC_EVENT_DEFINITION = eINSTANCE.getBasicEventDefinition();
+
+                /**
+                 * The meta object literal for the '<em><b>Distribution</b></em>' containment reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference BASIC_EVENT_DEFINITION__DISTRIBUTION = eINSTANCE.getBasicEventDefinition_Distribution();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl <em>Intput Event</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getIntputEvent()
+                 * @generated
+                 */
+                EClass INTPUT_EVENT = eINSTANCE.getIntputEvent();
+
+                /**
+                 * The meta object literal for the '<em><b>Multiple</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute INTPUT_EVENT__MULTIPLE = eINSTANCE.getIntputEvent_Multiple();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl <em>Event Declaration</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDeclaration()
+                 * @generated
+                 */
+                EClass EVENT_DECLARATION = eINSTANCE.getEventDeclaration();
+
+                /**
+                 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute EVENT_DECLARATION__NAME = eINSTANCE.getEventDeclaration_Name();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl <em>And Gate Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getAndGateDefinition()
+                 * @generated
+                 */
+                EClass AND_GATE_DEFINITION = eINSTANCE.getAndGateDefinition();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl <em>Or Gate Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOrGateDefinition()
+                 * @generated
+                 */
+                EClass OR_GATE_DEFINITION = eINSTANCE.getOrGateDefinition();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl <em>KOf MGate Definition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getKOfMGateDefinition()
+                 * @generated
+                 */
+                EClass KOF_MGATE_DEFINITION = eINSTANCE.getKOfMGateDefinition();
+
+                /**
+                 * The meta object literal for the '<em><b>K</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute KOF_MGATE_DEFINITION__K = eINSTANCE.getKOfMGateDefinition_K();
+
+                /**
+                 * The meta object literal for the '<em><b>M</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute KOF_MGATE_DEFINITION__M = eINSTANCE.getKOfMGateDefinition_M();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl <em>Component Fault Tree</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentFaultTree()
+                 * @generated
+                 */
+                EClass COMPONENT_FAULT_TREE = eINSTANCE.getComponentFaultTree();
+
+                /**
+                 * The meta object literal for the '<em><b>Components</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT_FAULT_TREE__COMPONENTS = eINSTANCE.getComponentFaultTree_Components();
+
+                /**
+                 * The meta object literal for the '<em><b>Top Event</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT_FAULT_TREE__TOP_EVENT = eINSTANCE.getComponentFaultTree_TopEvent();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl <em>Component</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponent()
+                 * @generated
+                 */
+                EClass COMPONENT = eINSTANCE.getComponent();
+
+                /**
+                 * The meta object literal for the '<em><b>Inputs</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT__INPUTS = eINSTANCE.getComponent_Inputs();
+
+                /**
+                 * The meta object literal for the '<em><b>Outputs</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT__OUTPUTS = eINSTANCE.getComponent_Outputs();
+
+                /**
+                 * The meta object literal for the '<em><b>Component Definition</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPONENT__COMPONENT_DEFINITION = eINSTANCE.getComponent_ComponentDefinition();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getInput()
+                 * @generated
+                 */
+                EClass INPUT = eINSTANCE.getInput();
+
+                /**
+                 * The meta object literal for the '<em><b>Intput Event</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference INPUT__INTPUT_EVENT = eINSTANCE.getInput_IntputEvent();
+
+                /**
+                 * The meta object literal for the '<em><b>Component</b></em>' container reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference INPUT__COMPONENT = eINSTANCE.getInput_Component();
+
+                /**
+                 * The meta object literal for the '<em><b>Incoming Connections</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference INPUT__INCOMING_CONNECTIONS = eINSTANCE.getInput_IncomingConnections();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl <em>Output</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOutput()
+                 * @generated
+                 */
+                EClass OUTPUT = eINSTANCE.getOutput();
+
+                /**
+                 * The meta object literal for the '<em><b>Event Declaration</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference OUTPUT__EVENT_DECLARATION = eINSTANCE.getOutput_EventDeclaration();
+
+                /**
+                 * The meta object literal for the '<em><b>Outgoing Connections</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference OUTPUT__OUTGOING_CONNECTIONS = eINSTANCE.getOutput_OutgoingConnections();
+
+                /**
+                 * The meta object literal for the '<em><b>Component</b></em>' container reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference OUTPUT__COMPONENT = eINSTANCE.getOutput_Component();
+
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl <em>Connection</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl
+                 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getConnection()
+                 * @generated
+                 */
+                EClass CONNECTION = eINSTANCE.getConnection();
+
+                /**
+                 * The meta object literal for the '<em><b>Input</b></em>' container reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference CONNECTION__INPUT = eINSTANCE.getConnection_Input();
+
+                /**
+                 * The meta object literal for the '<em><b>Output</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference CONNECTION__OUTPUT = eINSTANCE.getConnection_Output();
+
+        }
+
+} //CftPackage
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java
new file mode 100644
index 00000000..e1951172
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java
@@ -0,0 +1,90 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Component</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs <em>Inputs</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs <em>Outputs</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition <em>Component Definition</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent()
+ * @model
+ * @generated
+ */
+public interface Component extends EObject {
+        /**
+         * Returns the value of the '<em><b>Inputs</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input}.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent <em>Component</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Inputs</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Inputs</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_Inputs()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent
+         * @model opposite="component" containment="true"
+         * @generated
+         */
+        EList<Input> getInputs();
+
+        /**
+         * Returns the value of the '<em><b>Outputs</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output}.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent <em>Component</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Outputs</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Outputs</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_Outputs()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent
+         * @model opposite="component" containment="true"
+         * @generated
+         */
+        EList<Output> getOutputs();
+
+        /**
+         * Returns the value of the '<em><b>Component Definition</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Component Definition</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Component Definition</em>' reference.
+         * @see #setComponentDefinition(ComponentDefinition)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_ComponentDefinition()
+         * @model required="true"
+         * @generated
+         */
+        ComponentDefinition getComponentDefinition();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition <em>Component Definition</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Component Definition</em>' reference.
+         * @see #getComponentDefinition()
+         * @generated
+         */
+        void setComponentDefinition(ComponentDefinition value);
+
+} // Component
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java
new file mode 100644
index 00000000..b3f3b163
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java
@@ -0,0 +1,103 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Component Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getInputEvents <em>Input Events</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getEventDefinitions <em>Event Definitions</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getOutputEvents <em>Output Events</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName <em>Name</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition()
+ * @model
+ * @generated
+ */
+public interface ComponentDefinition extends EObject {
+        /**
+         * Returns the value of the '<em><b>Input Events</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Input Events</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Input Events</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_InputEvents()
+         * @model containment="true"
+         * @generated
+         */
+        EList<IntputEvent> getInputEvents();
+
+        /**
+         * Returns the value of the '<em><b>Event Definitions</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Event Definitions</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Event Definitions</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_EventDefinitions()
+         * @model containment="true"
+         * @generated
+         */
+        EList<EventDefinition> getEventDefinitions();
+
+        /**
+         * Returns the value of the '<em><b>Output Events</b></em>' reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Output Events</em>' reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Output Events</em>' reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_OutputEvents()
+         * @model
+         * @generated
+         */
+        EList<EventDeclaration> getOutputEvents();
+
+        /**
+         * Returns the value of the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Name</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Name</em>' attribute.
+         * @see #setName(String)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_Name()
+         * @model
+         * @generated
+         */
+        String getName();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Name</em>' attribute.
+         * @see #getName()
+         * @generated
+         */
+        void setName(String value);
+
+} // ComponentDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java
new file mode 100644
index 00000000..06554378
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java
@@ -0,0 +1,69 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Component Fault Tree</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents <em>Components</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent <em>Top Event</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree()
+ * @model
+ * @generated
+ */
+public interface ComponentFaultTree extends EObject {
+        /**
+         * Returns the value of the '<em><b>Components</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Components</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Components</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree_Components()
+         * @model containment="true"
+         * @generated
+         */
+        EList<Component> getComponents();
+
+        /**
+         * Returns the value of the '<em><b>Top Event</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Top Event</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Top Event</em>' reference.
+         * @see #setTopEvent(Output)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree_TopEvent()
+         * @model required="true"
+         * @generated
+         */
+        Output getTopEvent();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent <em>Top Event</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Top Event</em>' reference.
+         * @see #getTopEvent()
+         * @generated
+         */
+        void setTopEvent(Output value);
+
+} // ComponentFaultTree
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java
new file mode 100644
index 00000000..c05e809b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java
@@ -0,0 +1,81 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Connection</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput <em>Input</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput <em>Output</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection()
+ * @model
+ * @generated
+ */
+public interface Connection extends EObject {
+        /**
+         * Returns the value of the '<em><b>Input</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections <em>Incoming Connections</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Input</em>' container reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Input</em>' container reference.
+         * @see #setInput(Input)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection_Input()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections
+         * @model opposite="incomingConnections" required="true" transient="false"
+         * @generated
+         */
+        Input getInput();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput <em>Input</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Input</em>' container reference.
+         * @see #getInput()
+         * @generated
+         */
+        void setInput(Input value);
+
+        /**
+         * Returns the value of the '<em><b>Output</b></em>' reference.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections <em>Outgoing Connections</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Output</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Output</em>' reference.
+         * @see #setOutput(Output)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection_Output()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections
+         * @model opposite="outgoingConnections" required="true"
+         * @generated
+         */
+        Output getOutput();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput <em>Output</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Output</em>' reference.
+         * @see #getOutput()
+         * @generated
+         */
+        void setOutput(Output value);
+
+} // Connection
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java
new file mode 100644
index 00000000..1e52a570
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java
@@ -0,0 +1,50 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Event Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName <em>Name</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getEventDeclaration()
+ * @model abstract="true"
+ * @generated
+ */
+public interface EventDeclaration extends EObject {
+
+        /**
+         * Returns the value of the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Name</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Name</em>' attribute.
+         * @see #setName(String)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getEventDeclaration_Name()
+         * @model
+         * @generated
+         */
+        String getName();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Name</em>' attribute.
+         * @see #getName()
+         * @generated
+         */
+        void setName(String value);
+} // EventDeclaration
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java
new file mode 100644
index 00000000..d279ddfc
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Event Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getEventDefinition()
+ * @model abstract="true"
+ * @generated
+ */
+public interface EventDefinition extends EventDeclaration {
+} // EventDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java
new file mode 100644
index 00000000..2173be5c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java
@@ -0,0 +1,40 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents <em>Input Events</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getGateDefinition()
+ * @model abstract="true"
+ * @generated
+ */
+public interface GateDefinition extends EventDefinition {
+        /**
+         * Returns the value of the '<em><b>Input Events</b></em>' reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Input Events</em>' reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Input Events</em>' reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getGateDefinition_InputEvents()
+         * @model
+         * @generated
+         */
+        EList<EventDeclaration> getInputEvents();
+
+} // GateDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java
new file mode 100644
index 00000000..55da3f9a
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java
@@ -0,0 +1,100 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Input</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent <em>Intput Event</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent <em>Component</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections <em>Incoming Connections</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput()
+ * @model
+ * @generated
+ */
+public interface Input extends EObject {
+        /**
+         * Returns the value of the '<em><b>Intput Event</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Intput Event</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Intput Event</em>' reference.
+         * @see #setIntputEvent(IntputEvent)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_IntputEvent()
+         * @model required="true"
+         * @generated
+         */
+        IntputEvent getIntputEvent();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent <em>Intput Event</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Intput Event</em>' reference.
+         * @see #getIntputEvent()
+         * @generated
+         */
+        void setIntputEvent(IntputEvent value);
+
+        /**
+         * Returns the value of the '<em><b>Component</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs <em>Inputs</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Component</em>' container reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Component</em>' container reference.
+         * @see #setComponent(Component)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_Component()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs
+         * @model opposite="inputs" required="true" transient="false"
+         * @generated
+         */
+        Component getComponent();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent <em>Component</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Component</em>' container reference.
+         * @see #getComponent()
+         * @generated
+         */
+        void setComponent(Component value);
+
+        /**
+         * Returns the value of the '<em><b>Incoming Connections</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection}.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput <em>Input</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Incoming Connections</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Incoming Connections</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_IncomingConnections()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput
+         * @model opposite="input" containment="true"
+         * @generated
+         */
+        EList<Connection> getIncomingConnections();
+
+} // Input
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java
new file mode 100644
index 00000000..bec5c487
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java
@@ -0,0 +1,49 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Intput Event</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple <em>Multiple</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getIntputEvent()
+ * @model
+ * @generated
+ */
+public interface IntputEvent extends EventDeclaration {
+        /**
+         * Returns the value of the '<em><b>Multiple</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Multiple</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Multiple</em>' attribute.
+         * @see #setMultiple(boolean)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getIntputEvent_Multiple()
+         * @model
+         * @generated
+         */
+        boolean isMultiple();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple <em>Multiple</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Multiple</em>' attribute.
+         * @see #isMultiple()
+         * @generated
+         */
+        void setMultiple(boolean value);
+
+} // IntputEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java
new file mode 100644
index 00000000..6e1bc1c1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java
@@ -0,0 +1,76 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>KOf MGate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK <em>K</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM <em>M</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition()
+ * @model
+ * @generated
+ */
+public interface KOfMGateDefinition extends GateDefinition {
+        /**
+         * Returns the value of the '<em><b>K</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>K</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>K</em>' attribute.
+         * @see #setK(int)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition_K()
+         * @model
+         * @generated
+         */
+        int getK();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK <em>K</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>K</em>' attribute.
+         * @see #getK()
+         * @generated
+         */
+        void setK(int value);
+
+        /**
+         * Returns the value of the '<em><b>M</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>M</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>M</em>' attribute.
+         * @see #setM(int)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition_M()
+         * @model
+         * @generated
+         */
+        int getM();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM <em>M</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>M</em>' attribute.
+         * @see #getM()
+         * @generated
+         */
+        void setM(int value);
+
+} // KOfMGateDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java
new file mode 100644
index 00000000..f62d6652
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Or Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOrGateDefinition()
+ * @model
+ * @generated
+ */
+public interface OrGateDefinition extends GateDefinition {
+} // OrGateDefinition
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java
new file mode 100644
index 00000000..ffb61b8c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java
@@ -0,0 +1,100 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Output</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration <em>Event Declaration</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections <em>Outgoing Connections</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent <em>Component</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput()
+ * @model
+ * @generated
+ */
+public interface Output extends EObject {
+        /**
+         * Returns the value of the '<em><b>Event Declaration</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Event Declaration</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Event Declaration</em>' reference.
+         * @see #setEventDeclaration(EventDeclaration)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_EventDeclaration()
+         * @model required="true"
+         * @generated
+         */
+        EventDeclaration getEventDeclaration();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration <em>Event Declaration</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Event Declaration</em>' reference.
+         * @see #getEventDeclaration()
+         * @generated
+         */
+        void setEventDeclaration(EventDeclaration value);
+
+        /**
+         * Returns the value of the '<em><b>Outgoing Connections</b></em>' reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection}.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput <em>Output</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Outgoing Connections</em>' reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Outgoing Connections</em>' reference list.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_OutgoingConnections()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput
+         * @model opposite="output"
+         * @generated
+         */
+        EList<Connection> getOutgoingConnections();
+
+        /**
+         * Returns the value of the '<em><b>Component</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs <em>Outputs</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Component</em>' container reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Component</em>' container reference.
+         * @see #setComponent(Component)
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_Component()
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs
+         * @model opposite="outputs" required="true" transient="false"
+         * @generated
+         */
+        Component getComponent();
+
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent <em>Component</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Component</em>' container reference.
+         * @see #getComponent()
+         * @generated
+         */
+        void setComponent(Component value);
+
+} // Output
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java
new file mode 100644
index 00000000..fd716fc9
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>And Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class AndGateDefinitionImpl extends GateDefinitionImpl implements AndGateDefinition {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected AndGateDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.AND_GATE_DEFINITION;
+        }
+
+} //AndGateDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java
new file mode 100644
index 00000000..87fc5d70
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java
@@ -0,0 +1,178 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Basic Event Definition</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl#getDistribution <em>Distribution</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class BasicEventDefinitionImpl extends EventDefinitionImpl implements BasicEventDefinition {
+        /**
+         * The cached value of the '{@link #getDistribution() <em>Distribution</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getDistribution()
+         * @generated
+         * @ordered
+         */
+        protected Distribution distribution;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected BasicEventDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.BASIC_EVENT_DEFINITION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Distribution getDistribution() {
+                return distribution;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetDistribution(Distribution newDistribution, NotificationChain msgs) {
+                Distribution oldDistribution = distribution;
+                distribution = newDistribution;
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, oldDistribution, newDistribution);
+                        if (msgs == null) msgs = notification; else msgs.add(notification);
+                }
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setDistribution(Distribution newDistribution) {
+                if (newDistribution != distribution) {
+                        NotificationChain msgs = null;
+                        if (distribution != null)
+                                msgs = ((InternalEObject)distribution).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, null, msgs);
+                        if (newDistribution != null)
+                                msgs = ((InternalEObject)newDistribution).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, null, msgs);
+                        msgs = basicSetDistribution(newDistribution, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, newDistribution, newDistribution));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION:
+                                return basicSetDistribution(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION:
+                                return getDistribution();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION:
+                                setDistribution((Distribution)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION:
+                                setDistribution((Distribution)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION:
+                                return distribution != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //BasicEventDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java
new file mode 100644
index 00000000..33778461
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java
@@ -0,0 +1,217 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class CftFactoryImpl extends EFactoryImpl implements CftFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static CftFactory init() {
+                try {
+                        CftFactory theCftFactory = (CftFactory)EPackage.Registry.INSTANCE.getEFactory(CftPackage.eNS_URI);
+                        if (theCftFactory != null) {
+                                return theCftFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new CftFactoryImpl();
+        }
+
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CftFactoryImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case CftPackage.COMPONENT_DEFINITION: return createComponentDefinition();
+                        case CftPackage.BASIC_EVENT_DEFINITION: return createBasicEventDefinition();
+                        case CftPackage.INTPUT_EVENT: return createIntputEvent();
+                        case CftPackage.AND_GATE_DEFINITION: return createAndGateDefinition();
+                        case CftPackage.OR_GATE_DEFINITION: return createOrGateDefinition();
+                        case CftPackage.KOF_MGATE_DEFINITION: return createKOfMGateDefinition();
+                        case CftPackage.COMPONENT_FAULT_TREE: return createComponentFaultTree();
+                        case CftPackage.COMPONENT: return createComponent();
+                        case CftPackage.INPUT: return createInput();
+                        case CftPackage.OUTPUT: return createOutput();
+                        case CftPackage.CONNECTION: return createConnection();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public ComponentDefinition createComponentDefinition() {
+                ComponentDefinitionImpl componentDefinition = new ComponentDefinitionImpl();
+                return componentDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public BasicEventDefinition createBasicEventDefinition() {
+                BasicEventDefinitionImpl basicEventDefinition = new BasicEventDefinitionImpl();
+                return basicEventDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public IntputEvent createIntputEvent() {
+                IntputEventImpl intputEvent = new IntputEventImpl();
+                return intputEvent;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public AndGateDefinition createAndGateDefinition() {
+                AndGateDefinitionImpl andGateDefinition = new AndGateDefinitionImpl();
+                return andGateDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public OrGateDefinition createOrGateDefinition() {
+                OrGateDefinitionImpl orGateDefinition = new OrGateDefinitionImpl();
+                return orGateDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public KOfMGateDefinition createKOfMGateDefinition() {
+                KOfMGateDefinitionImpl kOfMGateDefinition = new KOfMGateDefinitionImpl();
+                return kOfMGateDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public ComponentFaultTree createComponentFaultTree() {
+                ComponentFaultTreeImpl componentFaultTree = new ComponentFaultTreeImpl();
+                return componentFaultTree;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Component createComponent() {
+                ComponentImpl component = new ComponentImpl();
+                return component;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Input createInput() {
+                InputImpl input = new InputImpl();
+                return input;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Output createOutput() {
+                OutputImpl output = new OutputImpl();
+                return output;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Connection createConnection() {
+                ConnectionImpl connection = new ConnectionImpl();
+                return connection;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public CftPackage getCftPackage() {
+                return (CftPackage)getEPackage();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static CftPackage getPackage() {
+                return CftPackage.eINSTANCE;
+        }
+
+} //CftFactoryImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java
new file mode 100644
index 00000000..f03fa0ba
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java
@@ -0,0 +1,746 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
+
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+
+import org.eclipse.emf.ecore.impl.EPackageImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Package</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class CftPackageImpl extends EPackageImpl implements CftPackage {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass componentDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass eventDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass gateDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass basicEventDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass intputEventEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass eventDeclarationEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass andGateDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass orGateDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass kOfMGateDefinitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass componentFaultTreeEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass componentEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass inputEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass outputEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass connectionEClass = null;
+
+        /**
+         * Creates an instance of the model <b>Package</b>, registered with
+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
+         * package URI value.
+         * <p>Note: the correct way to create the package is via the static
+         * factory method {@link #init init()}, which also performs
+         * initialization of the package, or returns the registered package,
+         * if one already exists.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see org.eclipse.emf.ecore.EPackage.Registry
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#eNS_URI
+         * @see #init()
+         * @generated
+         */
+        private CftPackageImpl() {
+                super(eNS_URI, CftFactory.eINSTANCE);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static boolean isInited = false;
+
+        /**
+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
+         *
+         * <p>This method is used to initialize {@link CftPackage#eINSTANCE} when that field is accessed.
+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #eNS_URI
+         * @see #createPackageContents()
+         * @see #initializePackageContents()
+         * @generated
+         */
+        public static CftPackage init() {
+                if (isInited) return (CftPackage)EPackage.Registry.INSTANCE.getEPackage(CftPackage.eNS_URI);
+
+                // Obtain or create and register package
+                Object registeredCftPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
+                CftPackageImpl theCftPackage = registeredCftPackage instanceof CftPackageImpl ? (CftPackageImpl)registeredCftPackage : new CftPackageImpl();
+
+                isInited = true;
+
+                // Initialize simple dependencies
+                FtPackage.eINSTANCE.eClass();
+
+                // Create package meta-data objects
+                theCftPackage.createPackageContents();
+
+                // Initialize created meta-data
+                theCftPackage.initializePackageContents();
+
+                // Mark meta-data to indicate it can't be changed
+                theCftPackage.freeze();
+
+                // Update the registry and return the package
+                EPackage.Registry.INSTANCE.put(CftPackage.eNS_URI, theCftPackage);
+                return theCftPackage;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getComponentDefinition() {
+                return componentDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponentDefinition_InputEvents() {
+                return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponentDefinition_EventDefinitions() {
+                return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponentDefinition_OutputEvents() {
+                return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(2);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getComponentDefinition_Name() {
+                return (EAttribute)componentDefinitionEClass.getEStructuralFeatures().get(3);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getEventDefinition() {
+                return eventDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getGateDefinition() {
+                return gateDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getGateDefinition_InputEvents() {
+                return (EReference)gateDefinitionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getBasicEventDefinition() {
+                return basicEventDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getBasicEventDefinition_Distribution() {
+                return (EReference)basicEventDefinitionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getIntputEvent() {
+                return intputEventEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getIntputEvent_Multiple() {
+                return (EAttribute)intputEventEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getEventDeclaration() {
+                return eventDeclarationEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getEventDeclaration_Name() {
+                return (EAttribute)eventDeclarationEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getAndGateDefinition() {
+                return andGateDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getOrGateDefinition() {
+                return orGateDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getKOfMGateDefinition() {
+                return kOfMGateDefinitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getKOfMGateDefinition_K() {
+                return (EAttribute)kOfMGateDefinitionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getKOfMGateDefinition_M() {
+                return (EAttribute)kOfMGateDefinitionEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getComponentFaultTree() {
+                return componentFaultTreeEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponentFaultTree_Components() {
+                return (EReference)componentFaultTreeEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponentFaultTree_TopEvent() {
+                return (EReference)componentFaultTreeEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getComponent() {
+                return componentEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponent_Inputs() {
+                return (EReference)componentEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponent_Outputs() {
+                return (EReference)componentEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getComponent_ComponentDefinition() {
+                return (EReference)componentEClass.getEStructuralFeatures().get(2);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getInput() {
+                return inputEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getInput_IntputEvent() {
+                return (EReference)inputEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getInput_Component() {
+                return (EReference)inputEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getInput_IncomingConnections() {
+                return (EReference)inputEClass.getEStructuralFeatures().get(2);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getOutput() {
+                return outputEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getOutput_EventDeclaration() {
+                return (EReference)outputEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getOutput_OutgoingConnections() {
+                return (EReference)outputEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getOutput_Component() {
+                return (EReference)outputEClass.getEStructuralFeatures().get(2);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getConnection() {
+                return connectionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getConnection_Input() {
+                return (EReference)connectionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getConnection_Output() {
+                return (EReference)connectionEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public CftFactory getCftFactory() {
+                return (CftFactory)getEFactoryInstance();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isCreated = false;
+
+        /**
+         * Creates the meta-model objects for the package.  This method is
+         * guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void createPackageContents() {
+                if (isCreated) return;
+                isCreated = true;
+
+                // Create classes and their features
+                componentDefinitionEClass = createEClass(COMPONENT_DEFINITION);
+                createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__INPUT_EVENTS);
+                createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__EVENT_DEFINITIONS);
+                createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__OUTPUT_EVENTS);
+                createEAttribute(componentDefinitionEClass, COMPONENT_DEFINITION__NAME);
+
+                eventDefinitionEClass = createEClass(EVENT_DEFINITION);
+
+                gateDefinitionEClass = createEClass(GATE_DEFINITION);
+                createEReference(gateDefinitionEClass, GATE_DEFINITION__INPUT_EVENTS);
+
+                basicEventDefinitionEClass = createEClass(BASIC_EVENT_DEFINITION);
+                createEReference(basicEventDefinitionEClass, BASIC_EVENT_DEFINITION__DISTRIBUTION);
+
+                intputEventEClass = createEClass(INTPUT_EVENT);
+                createEAttribute(intputEventEClass, INTPUT_EVENT__MULTIPLE);
+
+                eventDeclarationEClass = createEClass(EVENT_DECLARATION);
+                createEAttribute(eventDeclarationEClass, EVENT_DECLARATION__NAME);
+
+                andGateDefinitionEClass = createEClass(AND_GATE_DEFINITION);
+
+                orGateDefinitionEClass = createEClass(OR_GATE_DEFINITION);
+
+                kOfMGateDefinitionEClass = createEClass(KOF_MGATE_DEFINITION);
+                createEAttribute(kOfMGateDefinitionEClass, KOF_MGATE_DEFINITION__K);
+                createEAttribute(kOfMGateDefinitionEClass, KOF_MGATE_DEFINITION__M);
+
+                componentFaultTreeEClass = createEClass(COMPONENT_FAULT_TREE);
+                createEReference(componentFaultTreeEClass, COMPONENT_FAULT_TREE__COMPONENTS);
+                createEReference(componentFaultTreeEClass, COMPONENT_FAULT_TREE__TOP_EVENT);
+
+                componentEClass = createEClass(COMPONENT);
+                createEReference(componentEClass, COMPONENT__INPUTS);
+                createEReference(componentEClass, COMPONENT__OUTPUTS);
+                createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION);
+
+                inputEClass = createEClass(INPUT);
+                createEReference(inputEClass, INPUT__INTPUT_EVENT);
+                createEReference(inputEClass, INPUT__COMPONENT);
+                createEReference(inputEClass, INPUT__INCOMING_CONNECTIONS);
+
+                outputEClass = createEClass(OUTPUT);
+                createEReference(outputEClass, OUTPUT__EVENT_DECLARATION);
+                createEReference(outputEClass, OUTPUT__OUTGOING_CONNECTIONS);
+                createEReference(outputEClass, OUTPUT__COMPONENT);
+
+                connectionEClass = createEClass(CONNECTION);
+                createEReference(connectionEClass, CONNECTION__INPUT);
+                createEReference(connectionEClass, CONNECTION__OUTPUT);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isInitialized = false;
+
+        /**
+         * Complete the initialization of the package and its meta-model.  This
+         * method is guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void initializePackageContents() {
+                if (isInitialized) return;
+                isInitialized = true;
+
+                // Initialize package
+                setName(eNAME);
+                setNsPrefix(eNS_PREFIX);
+                setNsURI(eNS_URI);
+
+                // Obtain other dependent packages
+                FtPackage theFtPackage = (FtPackage)EPackage.Registry.INSTANCE.getEPackage(FtPackage.eNS_URI);
+
+                // Create type parameters
+
+                // Set bounds for type parameters
+
+                // Add supertypes to classes
+                eventDefinitionEClass.getESuperTypes().add(this.getEventDeclaration());
+                gateDefinitionEClass.getESuperTypes().add(this.getEventDefinition());
+                basicEventDefinitionEClass.getESuperTypes().add(this.getEventDefinition());
+                intputEventEClass.getESuperTypes().add(this.getEventDeclaration());
+                andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
+                orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
+                kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
+
+                // Initialize classes, features, and operations; add parameters
+                initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getComponentDefinition_InputEvents(), this.getIntputEvent(), null, "inputEvents", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getComponentDefinition_EventDefinitions(), this.getEventDefinition(), null, "eventDefinitions", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getComponentDefinition_OutputEvents(), this.getEventDeclaration(), null, "outputEvents", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEAttribute(getComponentDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(eventDefinitionEClass, EventDefinition.class, "EventDefinition", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(gateDefinitionEClass, GateDefinition.class, "GateDefinition", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getGateDefinition_InputEvents(), this.getEventDeclaration(), null, "inputEvents", null, 0, -1, GateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(basicEventDefinitionEClass, BasicEventDefinition.class, "BasicEventDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getBasicEventDefinition_Distribution(), theFtPackage.getDistribution(), null, "distribution", null, 1, 1, BasicEventDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(intputEventEClass, IntputEvent.class, "IntputEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getIntputEvent_Multiple(), ecorePackage.getEBoolean(), "multiple", null, 0, 1, IntputEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(eventDeclarationEClass, EventDeclaration.class, "EventDeclaration", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getEventDeclaration_Name(), ecorePackage.getEString(), "name", null, 0, 1, EventDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(andGateDefinitionEClass, AndGateDefinition.class, "AndGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(orGateDefinitionEClass, OrGateDefinition.class, "OrGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(kOfMGateDefinitionEClass, KOfMGateDefinition.class, "KOfMGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getKOfMGateDefinition_K(), ecorePackage.getEInt(), "k", null, 0, 1, KOfMGateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEAttribute(getKOfMGateDefinition_M(), ecorePackage.getEInt(), "m", null, 0, 1, KOfMGateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(componentFaultTreeEClass, ComponentFaultTree.class, "ComponentFaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getComponentFaultTree_Components(), this.getComponent(), null, "components", null, 0, -1, ComponentFaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getComponentFaultTree_TopEvent(), this.getOutput(), null, "topEvent", null, 1, 1, ComponentFaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(componentEClass, Component.class, "Component", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getComponent_Inputs(), this.getInput(), this.getInput_Component(), "inputs", null, 0, -1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getComponent_Outputs(), this.getOutput(), this.getOutput_Component(), "outputs", null, 0, -1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getComponent_ComponentDefinition(), this.getComponentDefinition(), null, "componentDefinition", null, 1, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getInput_IntputEvent(), this.getIntputEvent(), null, "intputEvent", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getInput_Component(), this.getComponent(), this.getComponent_Inputs(), "component", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getInput_IncomingConnections(), this.getConnection(), this.getConnection_Input(), "incomingConnections", null, 0, -1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(outputEClass, Output.class, "Output", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getOutput_EventDeclaration(), this.getEventDeclaration(), null, "eventDeclaration", null, 1, 1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getOutput_OutgoingConnections(), this.getConnection(), this.getConnection_Output(), "outgoingConnections", null, 0, -1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getOutput_Component(), this.getComponent(), this.getComponent_Outputs(), "component", null, 1, 1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(connectionEClass, Connection.class, "Connection", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getConnection_Input(), this.getInput(), this.getInput_IncomingConnections(), "input", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getConnection_Output(), this.getOutput(), this.getOutput_OutgoingConnections(), "output", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                // Create resource
+                createResource(eNS_URI);
+        }
+
+} //CftPackageImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java
new file mode 100644
index 00000000..58a476f3
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java
@@ -0,0 +1,300 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.EObjectResolvingEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Component Definition</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getInputEvents <em>Input Events</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getEventDefinitions <em>Event Definitions</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getOutputEvents <em>Output Events</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getName <em>Name</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ComponentDefinitionImpl extends MinimalEObjectImpl.Container implements ComponentDefinition {
+        /**
+         * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getInputEvents()
+         * @generated
+         * @ordered
+         */
+        protected EList<IntputEvent> inputEvents;
+
+        /**
+         * The cached value of the '{@link #getEventDefinitions() <em>Event Definitions</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getEventDefinitions()
+         * @generated
+         * @ordered
+         */
+        protected EList<EventDefinition> eventDefinitions;
+
+        /**
+         * The cached value of the '{@link #getOutputEvents() <em>Output Events</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOutputEvents()
+         * @generated
+         * @ordered
+         */
+        protected EList<EventDeclaration> outputEvents;
+
+        /**
+         * The default value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected static final String NAME_EDEFAULT = null;
+
+        /**
+         * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected String name = NAME_EDEFAULT;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ComponentDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.COMPONENT_DEFINITION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<IntputEvent> getInputEvents() {
+                if (inputEvents == null) {
+                        inputEvents = new EObjectContainmentEList<IntputEvent>(IntputEvent.class, this, CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS);
+                }
+                return inputEvents;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<EventDefinition> getEventDefinitions() {
+                if (eventDefinitions == null) {
+                        eventDefinitions = new EObjectContainmentEList<EventDefinition>(EventDefinition.class, this, CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS);
+                }
+                return eventDefinitions;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<EventDeclaration> getOutputEvents() {
+                if (outputEvents == null) {
+                        outputEvents = new EObjectResolvingEList<EventDeclaration>(EventDeclaration.class, this, CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS);
+                }
+                return outputEvents;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String getName() {
+                return name;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setName(String newName) {
+                String oldName = name;
+                name = newName;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT_DEFINITION__NAME, oldName, name));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS:
+                                return ((InternalEList<?>)getInputEvents()).basicRemove(otherEnd, msgs);
+                        case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS:
+                                return ((InternalEList<?>)getEventDefinitions()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS:
+                                return getInputEvents();
+                        case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS:
+                                return getEventDefinitions();
+                        case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS:
+                                return getOutputEvents();
+                        case CftPackage.COMPONENT_DEFINITION__NAME:
+                                return getName();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS:
+                                getInputEvents().clear();
+                                getInputEvents().addAll((Collection<? extends IntputEvent>)newValue);
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS:
+                                getEventDefinitions().clear();
+                                getEventDefinitions().addAll((Collection<? extends EventDefinition>)newValue);
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS:
+                                getOutputEvents().clear();
+                                getOutputEvents().addAll((Collection<? extends EventDeclaration>)newValue);
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__NAME:
+                                setName((String)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS:
+                                getInputEvents().clear();
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS:
+                                getEventDefinitions().clear();
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS:
+                                getOutputEvents().clear();
+                                return;
+                        case CftPackage.COMPONENT_DEFINITION__NAME:
+                                setName(NAME_EDEFAULT);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS:
+                                return inputEvents != null && !inputEvents.isEmpty();
+                        case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS:
+                                return eventDefinitions != null && !eventDefinitions.isEmpty();
+                        case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS:
+                                return outputEvents != null && !outputEvents.isEmpty();
+                        case CftPackage.COMPONENT_DEFINITION__NAME:
+                                return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
+                }
+                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(" (name: ");
+                result.append(name);
+                result.append(')');
+                return result.toString();
+        }
+
+} //ComponentDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java
new file mode 100644
index 00000000..b84b6436
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java
@@ -0,0 +1,218 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Component Fault Tree</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl#getComponents <em>Components</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl#getTopEvent <em>Top Event</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ComponentFaultTreeImpl extends MinimalEObjectImpl.Container implements ComponentFaultTree {
+        /**
+         * The cached value of the '{@link #getComponents() <em>Components</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getComponents()
+         * @generated
+         * @ordered
+         */
+        protected EList<Component> components;
+
+        /**
+         * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getTopEvent()
+         * @generated
+         * @ordered
+         */
+        protected Output topEvent;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ComponentFaultTreeImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.COMPONENT_FAULT_TREE;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Component> getComponents() {
+                if (components == null) {
+                        components = new EObjectContainmentEList<Component>(Component.class, this, CftPackage.COMPONENT_FAULT_TREE__COMPONENTS);
+                }
+                return components;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Output getTopEvent() {
+                if (topEvent != null && topEvent.eIsProxy()) {
+                        InternalEObject oldTopEvent = (InternalEObject)topEvent;
+                        topEvent = (Output)eResolveProxy(oldTopEvent);
+                        if (topEvent != oldTopEvent) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
+                        }
+                }
+                return topEvent;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Output basicGetTopEvent() {
+                return topEvent;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setTopEvent(Output newTopEvent) {
+                Output oldTopEvent = topEvent;
+                topEvent = newTopEvent;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS:
+                                return ((InternalEList<?>)getComponents()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS:
+                                return getComponents();
+                        case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT:
+                                if (resolve) return getTopEvent();
+                                return basicGetTopEvent();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS:
+                                getComponents().clear();
+                                getComponents().addAll((Collection<? extends Component>)newValue);
+                                return;
+                        case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT:
+                                setTopEvent((Output)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS:
+                                getComponents().clear();
+                                return;
+                        case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT:
+                                setTopEvent((Output)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS:
+                                return components != null && !components.isEmpty();
+                        case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT:
+                                return topEvent != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //ComponentFaultTreeImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java
new file mode 100644
index 00000000..6d23dc78
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java
@@ -0,0 +1,273 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Component</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getInputs <em>Inputs</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getOutputs <em>Outputs</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getComponentDefinition <em>Component Definition</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ComponentImpl extends MinimalEObjectImpl.Container implements Component {
+        /**
+         * The cached value of the '{@link #getInputs() <em>Inputs</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getInputs()
+         * @generated
+         * @ordered
+         */
+        protected EList<Input> inputs;
+
+        /**
+         * The cached value of the '{@link #getOutputs() <em>Outputs</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOutputs()
+         * @generated
+         * @ordered
+         */
+        protected EList<Output> outputs;
+
+        /**
+         * The cached value of the '{@link #getComponentDefinition() <em>Component Definition</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getComponentDefinition()
+         * @generated
+         * @ordered
+         */
+        protected ComponentDefinition componentDefinition;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ComponentImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.COMPONENT;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Input> getInputs() {
+                if (inputs == null) {
+                        inputs = new EObjectContainmentWithInverseEList<Input>(Input.class, this, CftPackage.COMPONENT__INPUTS, CftPackage.INPUT__COMPONENT);
+                }
+                return inputs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Output> getOutputs() {
+                if (outputs == null) {
+                        outputs = new EObjectContainmentWithInverseEList<Output>(Output.class, this, CftPackage.COMPONENT__OUTPUTS, CftPackage.OUTPUT__COMPONENT);
+                }
+                return outputs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public ComponentDefinition getComponentDefinition() {
+                if (componentDefinition != null && componentDefinition.eIsProxy()) {
+                        InternalEObject oldComponentDefinition = (InternalEObject)componentDefinition;
+                        componentDefinition = (ComponentDefinition)eResolveProxy(oldComponentDefinition);
+                        if (componentDefinition != oldComponentDefinition) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.COMPONENT__COMPONENT_DEFINITION, oldComponentDefinition, componentDefinition));
+                        }
+                }
+                return componentDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public ComponentDefinition basicGetComponentDefinition() {
+                return componentDefinition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setComponentDefinition(ComponentDefinition newComponentDefinition) {
+                ComponentDefinition oldComponentDefinition = componentDefinition;
+                componentDefinition = newComponentDefinition;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__COMPONENT_DEFINITION, oldComponentDefinition, componentDefinition));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getInputs()).basicAdd(otherEnd, msgs);
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getOutputs()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                return ((InternalEList<?>)getInputs()).basicRemove(otherEnd, msgs);
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                return ((InternalEList<?>)getOutputs()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                return getInputs();
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                return getOutputs();
+                        case CftPackage.COMPONENT__COMPONENT_DEFINITION:
+                                if (resolve) return getComponentDefinition();
+                                return basicGetComponentDefinition();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                getInputs().clear();
+                                getInputs().addAll((Collection<? extends Input>)newValue);
+                                return;
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                getOutputs().clear();
+                                getOutputs().addAll((Collection<? extends Output>)newValue);
+                                return;
+                        case CftPackage.COMPONENT__COMPONENT_DEFINITION:
+                                setComponentDefinition((ComponentDefinition)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                getInputs().clear();
+                                return;
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                getOutputs().clear();
+                                return;
+                        case CftPackage.COMPONENT__COMPONENT_DEFINITION:
+                                setComponentDefinition((ComponentDefinition)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.COMPONENT__INPUTS:
+                                return inputs != null && !inputs.isEmpty();
+                        case CftPackage.COMPONENT__OUTPUTS:
+                                return outputs != null && !outputs.isEmpty();
+                        case CftPackage.COMPONENT__COMPONENT_DEFINITION:
+                                return componentDefinition != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //ComponentImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java
new file mode 100644
index 00000000..7506e4d7
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java
@@ -0,0 +1,289 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EcoreUtil;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Connection</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getInput <em>Input</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getOutput <em>Output</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ConnectionImpl extends MinimalEObjectImpl.Container implements Connection {
+        /**
+         * The cached value of the '{@link #getOutput() <em>Output</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOutput()
+         * @generated
+         * @ordered
+         */
+        protected Output output;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ConnectionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.CONNECTION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Input getInput() {
+                if (eContainerFeatureID() != CftPackage.CONNECTION__INPUT) return null;
+                return (Input)eInternalContainer();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetInput(Input newInput, NotificationChain msgs) {
+                msgs = eBasicSetContainer((InternalEObject)newInput, CftPackage.CONNECTION__INPUT, msgs);
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setInput(Input newInput) {
+                if (newInput != eInternalContainer() || (eContainerFeatureID() != CftPackage.CONNECTION__INPUT && newInput != null)) {
+                        if (EcoreUtil.isAncestor(this, newInput))
+                                throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
+                        NotificationChain msgs = null;
+                        if (eInternalContainer() != null)
+                                msgs = eBasicRemoveFromContainer(msgs);
+                        if (newInput != null)
+                                msgs = ((InternalEObject)newInput).eInverseAdd(this, CftPackage.INPUT__INCOMING_CONNECTIONS, Input.class, msgs);
+                        msgs = basicSetInput(newInput, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__INPUT, newInput, newInput));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Output getOutput() {
+                if (output != null && output.eIsProxy()) {
+                        InternalEObject oldOutput = (InternalEObject)output;
+                        output = (Output)eResolveProxy(oldOutput);
+                        if (output != oldOutput) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.CONNECTION__OUTPUT, oldOutput, output));
+                        }
+                }
+                return output;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Output basicGetOutput() {
+                return output;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetOutput(Output newOutput, NotificationChain msgs) {
+                Output oldOutput = output;
+                output = newOutput;
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__OUTPUT, oldOutput, newOutput);
+                        if (msgs == null) msgs = notification; else msgs.add(notification);
+                }
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setOutput(Output newOutput) {
+                if (newOutput != output) {
+                        NotificationChain msgs = null;
+                        if (output != null)
+                                msgs = ((InternalEObject)output).eInverseRemove(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs);
+                        if (newOutput != null)
+                                msgs = ((InternalEObject)newOutput).eInverseAdd(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs);
+                        msgs = basicSetOutput(newOutput, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__OUTPUT, newOutput, newOutput));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                if (eInternalContainer() != null)
+                                        msgs = eBasicRemoveFromContainer(msgs);
+                                return basicSetInput((Input)otherEnd, msgs);
+                        case CftPackage.CONNECTION__OUTPUT:
+                                if (output != null)
+                                        msgs = ((InternalEObject)output).eInverseRemove(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs);
+                                return basicSetOutput((Output)otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                return basicSetInput(null, msgs);
+                        case CftPackage.CONNECTION__OUTPUT:
+                                return basicSetOutput(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
+                switch (eContainerFeatureID()) {
+                        case CftPackage.CONNECTION__INPUT:
+                                return eInternalContainer().eInverseRemove(this, CftPackage.INPUT__INCOMING_CONNECTIONS, Input.class, msgs);
+                }
+                return super.eBasicRemoveFromContainerFeature(msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                return getInput();
+                        case CftPackage.CONNECTION__OUTPUT:
+                                if (resolve) return getOutput();
+                                return basicGetOutput();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                setInput((Input)newValue);
+                                return;
+                        case CftPackage.CONNECTION__OUTPUT:
+                                setOutput((Output)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                setInput((Input)null);
+                                return;
+                        case CftPackage.CONNECTION__OUTPUT:
+                                setOutput((Output)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.CONNECTION__INPUT:
+                                return getInput() != null;
+                        case CftPackage.CONNECTION__OUTPUT:
+                                return output != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //ConnectionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java
new file mode 100644
index 00000000..e60a9427
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java
@@ -0,0 +1,163 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Event Declaration</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl#getName <em>Name</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public abstract class EventDeclarationImpl extends MinimalEObjectImpl.Container implements EventDeclaration {
+        /**
+         * The default value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected static final String NAME_EDEFAULT = null;
+        /**
+         * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected String name = NAME_EDEFAULT;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected EventDeclarationImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.EVENT_DECLARATION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String getName() {
+                return name;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setName(String newName) {
+                String oldName = name;
+                name = newName;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.EVENT_DECLARATION__NAME, oldName, name));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.EVENT_DECLARATION__NAME:
+                                return getName();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.EVENT_DECLARATION__NAME:
+                                setName((String)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.EVENT_DECLARATION__NAME:
+                                setName(NAME_EDEFAULT);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.EVENT_DECLARATION__NAME:
+                                return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
+                }
+                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(" (name: ");
+                result.append(name);
+                result.append(')');
+                return result.toString();
+        }
+
+} //EventDeclarationImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java
new file mode 100644
index 00000000..76b79f5b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Event Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public abstract class EventDefinitionImpl extends EventDeclarationImpl implements EventDefinition {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected EventDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.EVENT_DEFINITION;
+        }
+
+} //EventDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java
new file mode 100644
index 00000000..2fb9a724
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java
@@ -0,0 +1,133 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.util.EObjectResolvingEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl#getInputEvents <em>Input Events</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public abstract class GateDefinitionImpl extends EventDefinitionImpl implements GateDefinition {
+        /**
+         * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getInputEvents()
+         * @generated
+         * @ordered
+         */
+        protected EList<EventDeclaration> inputEvents;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected GateDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.GATE_DEFINITION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<EventDeclaration> getInputEvents() {
+                if (inputEvents == null) {
+                        inputEvents = new EObjectResolvingEList<EventDeclaration>(EventDeclaration.class, this, CftPackage.GATE_DEFINITION__INPUT_EVENTS);
+                }
+                return inputEvents;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.GATE_DEFINITION__INPUT_EVENTS:
+                                return getInputEvents();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.GATE_DEFINITION__INPUT_EVENTS:
+                                getInputEvents().clear();
+                                getInputEvents().addAll((Collection<? extends EventDeclaration>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.GATE_DEFINITION__INPUT_EVENTS:
+                                getInputEvents().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.GATE_DEFINITION__INPUT_EVENTS:
+                                return inputEvents != null && !inputEvents.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //GateDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java
new file mode 100644
index 00000000..eda5fea0
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java
@@ -0,0 +1,309 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Input</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getIntputEvent <em>Intput Event</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getComponent <em>Component</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getIncomingConnections <em>Incoming Connections</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class InputImpl extends MinimalEObjectImpl.Container implements Input {
+        /**
+         * The cached value of the '{@link #getIntputEvent() <em>Intput Event</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getIntputEvent()
+         * @generated
+         * @ordered
+         */
+        protected IntputEvent intputEvent;
+
+        /**
+         * The cached value of the '{@link #getIncomingConnections() <em>Incoming Connections</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getIncomingConnections()
+         * @generated
+         * @ordered
+         */
+        protected EList<Connection> incomingConnections;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected InputImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.INPUT;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public IntputEvent getIntputEvent() {
+                if (intputEvent != null && intputEvent.eIsProxy()) {
+                        InternalEObject oldIntputEvent = (InternalEObject)intputEvent;
+                        intputEvent = (IntputEvent)eResolveProxy(oldIntputEvent);
+                        if (intputEvent != oldIntputEvent) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.INPUT__INTPUT_EVENT, oldIntputEvent, intputEvent));
+                        }
+                }
+                return intputEvent;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public IntputEvent basicGetIntputEvent() {
+                return intputEvent;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setIntputEvent(IntputEvent newIntputEvent) {
+                IntputEvent oldIntputEvent = intputEvent;
+                intputEvent = newIntputEvent;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INPUT__INTPUT_EVENT, oldIntputEvent, intputEvent));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Component getComponent() {
+                if (eContainerFeatureID() != CftPackage.INPUT__COMPONENT) return null;
+                return (Component)eInternalContainer();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetComponent(Component newComponent, NotificationChain msgs) {
+                msgs = eBasicSetContainer((InternalEObject)newComponent, CftPackage.INPUT__COMPONENT, msgs);
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setComponent(Component newComponent) {
+                if (newComponent != eInternalContainer() || (eContainerFeatureID() != CftPackage.INPUT__COMPONENT && newComponent != null)) {
+                        if (EcoreUtil.isAncestor(this, newComponent))
+                                throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
+                        NotificationChain msgs = null;
+                        if (eInternalContainer() != null)
+                                msgs = eBasicRemoveFromContainer(msgs);
+                        if (newComponent != null)
+                                msgs = ((InternalEObject)newComponent).eInverseAdd(this, CftPackage.COMPONENT__INPUTS, Component.class, msgs);
+                        msgs = basicSetComponent(newComponent, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INPUT__COMPONENT, newComponent, newComponent));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Connection> getIncomingConnections() {
+                if (incomingConnections == null) {
+                        incomingConnections = new EObjectContainmentWithInverseEList<Connection>(Connection.class, this, CftPackage.INPUT__INCOMING_CONNECTIONS, CftPackage.CONNECTION__INPUT);
+                }
+                return incomingConnections;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.INPUT__COMPONENT:
+                                if (eInternalContainer() != null)
+                                        msgs = eBasicRemoveFromContainer(msgs);
+                                return basicSetComponent((Component)otherEnd, msgs);
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getIncomingConnections()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.INPUT__COMPONENT:
+                                return basicSetComponent(null, msgs);
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                return ((InternalEList<?>)getIncomingConnections()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
+                switch (eContainerFeatureID()) {
+                        case CftPackage.INPUT__COMPONENT:
+                                return eInternalContainer().eInverseRemove(this, CftPackage.COMPONENT__INPUTS, Component.class, msgs);
+                }
+                return super.eBasicRemoveFromContainerFeature(msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.INPUT__INTPUT_EVENT:
+                                if (resolve) return getIntputEvent();
+                                return basicGetIntputEvent();
+                        case CftPackage.INPUT__COMPONENT:
+                                return getComponent();
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                return getIncomingConnections();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.INPUT__INTPUT_EVENT:
+                                setIntputEvent((IntputEvent)newValue);
+                                return;
+                        case CftPackage.INPUT__COMPONENT:
+                                setComponent((Component)newValue);
+                                return;
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                getIncomingConnections().clear();
+                                getIncomingConnections().addAll((Collection<? extends Connection>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.INPUT__INTPUT_EVENT:
+                                setIntputEvent((IntputEvent)null);
+                                return;
+                        case CftPackage.INPUT__COMPONENT:
+                                setComponent((Component)null);
+                                return;
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                getIncomingConnections().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.INPUT__INTPUT_EVENT:
+                                return intputEvent != null;
+                        case CftPackage.INPUT__COMPONENT:
+                                return getComponent() != null;
+                        case CftPackage.INPUT__INCOMING_CONNECTIONS:
+                                return incomingConnections != null && !incomingConnections.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //InputImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java
new file mode 100644
index 00000000..ea22452f
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java
@@ -0,0 +1,164 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent;
+
+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>Intput Event</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl#isMultiple <em>Multiple</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class IntputEventImpl extends EventDeclarationImpl implements IntputEvent {
+        /**
+         * The default value of the '{@link #isMultiple() <em>Multiple</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #isMultiple()
+         * @generated
+         * @ordered
+         */
+        protected static final boolean MULTIPLE_EDEFAULT = false;
+
+        /**
+         * The cached value of the '{@link #isMultiple() <em>Multiple</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #isMultiple()
+         * @generated
+         * @ordered
+         */
+        protected boolean multiple = MULTIPLE_EDEFAULT;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected IntputEventImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.INTPUT_EVENT;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean isMultiple() {
+                return multiple;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setMultiple(boolean newMultiple) {
+                boolean oldMultiple = multiple;
+                multiple = newMultiple;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INTPUT_EVENT__MULTIPLE, oldMultiple, multiple));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.INTPUT_EVENT__MULTIPLE:
+                                return isMultiple();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.INTPUT_EVENT__MULTIPLE:
+                                setMultiple((Boolean)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.INTPUT_EVENT__MULTIPLE:
+                                setMultiple(MULTIPLE_EDEFAULT);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.INTPUT_EVENT__MULTIPLE:
+                                return multiple != MULTIPLE_EDEFAULT;
+                }
+                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(" (multiple: ");
+                result.append(multiple);
+                result.append(')');
+                return result.toString();
+        }
+
+} //IntputEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java
new file mode 100644
index 00000000..fed17513
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java
@@ -0,0 +1,220 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
+
+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>KOf MGate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl#getK <em>K</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl#getM <em>M</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class KOfMGateDefinitionImpl extends GateDefinitionImpl implements KOfMGateDefinition {
+        /**
+         * The default value of the '{@link #getK() <em>K</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getK()
+         * @generated
+         * @ordered
+         */
+        protected static final int K_EDEFAULT = 0;
+
+        /**
+         * The cached value of the '{@link #getK() <em>K</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getK()
+         * @generated
+         * @ordered
+         */
+        protected int k = K_EDEFAULT;
+
+        /**
+         * The default value of the '{@link #getM() <em>M</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getM()
+         * @generated
+         * @ordered
+         */
+        protected static final int M_EDEFAULT = 0;
+
+        /**
+         * The cached value of the '{@link #getM() <em>M</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getM()
+         * @generated
+         * @ordered
+         */
+        protected int m = M_EDEFAULT;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected KOfMGateDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.KOF_MGATE_DEFINITION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public int getK() {
+                return k;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setK(int newK) {
+                int oldK = k;
+                k = newK;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.KOF_MGATE_DEFINITION__K, oldK, k));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public int getM() {
+                return m;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setM(int newM) {
+                int oldM = m;
+                m = newM;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.KOF_MGATE_DEFINITION__M, oldM, m));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.KOF_MGATE_DEFINITION__K:
+                                return getK();
+                        case CftPackage.KOF_MGATE_DEFINITION__M:
+                                return getM();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.KOF_MGATE_DEFINITION__K:
+                                setK((Integer)newValue);
+                                return;
+                        case CftPackage.KOF_MGATE_DEFINITION__M:
+                                setM((Integer)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.KOF_MGATE_DEFINITION__K:
+                                setK(K_EDEFAULT);
+                                return;
+                        case CftPackage.KOF_MGATE_DEFINITION__M:
+                                setM(M_EDEFAULT);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.KOF_MGATE_DEFINITION__K:
+                                return k != K_EDEFAULT;
+                        case CftPackage.KOF_MGATE_DEFINITION__M:
+                                return m != M_EDEFAULT;
+                }
+                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(" (k: ");
+                result.append(k);
+                result.append(", m: ");
+                result.append(m);
+                result.append(')');
+                return result.toString();
+        }
+
+} //KOfMGateDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java
new file mode 100644
index 00000000..d2275f60
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Or Gate Definition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class OrGateDefinitionImpl extends GateDefinitionImpl implements OrGateDefinition {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected OrGateDefinitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.OR_GATE_DEFINITION;
+        }
+
+} //OrGateDefinitionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java
new file mode 100644
index 00000000..31a81afe
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java
@@ -0,0 +1,309 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Output</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getEventDeclaration <em>Event Declaration</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getOutgoingConnections <em>Outgoing Connections</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getComponent <em>Component</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class OutputImpl extends MinimalEObjectImpl.Container implements Output {
+        /**
+         * The cached value of the '{@link #getEventDeclaration() <em>Event Declaration</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getEventDeclaration()
+         * @generated
+         * @ordered
+         */
+        protected EventDeclaration eventDeclaration;
+
+        /**
+         * The cached value of the '{@link #getOutgoingConnections() <em>Outgoing Connections</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOutgoingConnections()
+         * @generated
+         * @ordered
+         */
+        protected EList<Connection> outgoingConnections;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected OutputImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return CftPackage.Literals.OUTPUT;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EventDeclaration getEventDeclaration() {
+                if (eventDeclaration != null && eventDeclaration.eIsProxy()) {
+                        InternalEObject oldEventDeclaration = (InternalEObject)eventDeclaration;
+                        eventDeclaration = (EventDeclaration)eResolveProxy(oldEventDeclaration);
+                        if (eventDeclaration != oldEventDeclaration) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.OUTPUT__EVENT_DECLARATION, oldEventDeclaration, eventDeclaration));
+                        }
+                }
+                return eventDeclaration;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EventDeclaration basicGetEventDeclaration() {
+                return eventDeclaration;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setEventDeclaration(EventDeclaration newEventDeclaration) {
+                EventDeclaration oldEventDeclaration = eventDeclaration;
+                eventDeclaration = newEventDeclaration;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.OUTPUT__EVENT_DECLARATION, oldEventDeclaration, eventDeclaration));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Connection> getOutgoingConnections() {
+                if (outgoingConnections == null) {
+                        outgoingConnections = new EObjectWithInverseResolvingEList<Connection>(Connection.class, this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, CftPackage.CONNECTION__OUTPUT);
+                }
+                return outgoingConnections;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Component getComponent() {
+                if (eContainerFeatureID() != CftPackage.OUTPUT__COMPONENT) return null;
+                return (Component)eInternalContainer();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetComponent(Component newComponent, NotificationChain msgs) {
+                msgs = eBasicSetContainer((InternalEObject)newComponent, CftPackage.OUTPUT__COMPONENT, msgs);
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setComponent(Component newComponent) {
+                if (newComponent != eInternalContainer() || (eContainerFeatureID() != CftPackage.OUTPUT__COMPONENT && newComponent != null)) {
+                        if (EcoreUtil.isAncestor(this, newComponent))
+                                throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
+                        NotificationChain msgs = null;
+                        if (eInternalContainer() != null)
+                                msgs = eBasicRemoveFromContainer(msgs);
+                        if (newComponent != null)
+                                msgs = ((InternalEObject)newComponent).eInverseAdd(this, CftPackage.COMPONENT__OUTPUTS, Component.class, msgs);
+                        msgs = basicSetComponent(newComponent, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.OUTPUT__COMPONENT, newComponent, newComponent));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getOutgoingConnections()).basicAdd(otherEnd, msgs);
+                        case CftPackage.OUTPUT__COMPONENT:
+                                if (eInternalContainer() != null)
+                                        msgs = eBasicRemoveFromContainer(msgs);
+                                return basicSetComponent((Component)otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                return ((InternalEList<?>)getOutgoingConnections()).basicRemove(otherEnd, msgs);
+                        case CftPackage.OUTPUT__COMPONENT:
+                                return basicSetComponent(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
+                switch (eContainerFeatureID()) {
+                        case CftPackage.OUTPUT__COMPONENT:
+                                return eInternalContainer().eInverseRemove(this, CftPackage.COMPONENT__OUTPUTS, Component.class, msgs);
+                }
+                return super.eBasicRemoveFromContainerFeature(msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__EVENT_DECLARATION:
+                                if (resolve) return getEventDeclaration();
+                                return basicGetEventDeclaration();
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                return getOutgoingConnections();
+                        case CftPackage.OUTPUT__COMPONENT:
+                                return getComponent();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__EVENT_DECLARATION:
+                                setEventDeclaration((EventDeclaration)newValue);
+                                return;
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                getOutgoingConnections().clear();
+                                getOutgoingConnections().addAll((Collection<? extends Connection>)newValue);
+                                return;
+                        case CftPackage.OUTPUT__COMPONENT:
+                                setComponent((Component)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__EVENT_DECLARATION:
+                                setEventDeclaration((EventDeclaration)null);
+                                return;
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                getOutgoingConnections().clear();
+                                return;
+                        case CftPackage.OUTPUT__COMPONENT:
+                                setComponent((Component)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case CftPackage.OUTPUT__EVENT_DECLARATION:
+                                return eventDeclaration != null;
+                        case CftPackage.OUTPUT__OUTGOING_CONNECTIONS:
+                                return outgoingConnections != null && !outgoingConnections.isEmpty();
+                        case CftPackage.OUTPUT__COMPONENT:
+                                return getComponent() != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //OutputImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java
new file mode 100644
index 00000000..c6b82734
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java
@@ -0,0 +1,354 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage
+ * @generated
+ */
+public class CftAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static CftPackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CftAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = CftPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected CftSwitch<Adapter> modelSwitch =
+                new CftSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseComponentDefinition(ComponentDefinition object) {
+                                return createComponentDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseEventDefinition(EventDefinition object) {
+                                return createEventDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseGateDefinition(GateDefinition object) {
+                                return createGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseBasicEventDefinition(BasicEventDefinition object) {
+                                return createBasicEventDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntputEvent(IntputEvent object) {
+                                return createIntputEventAdapter();
+                        }
+                        @Override
+                        public Adapter caseEventDeclaration(EventDeclaration object) {
+                                return createEventDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseAndGateDefinition(AndGateDefinition object) {
+                                return createAndGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseOrGateDefinition(OrGateDefinition object) {
+                                return createOrGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseKOfMGateDefinition(KOfMGateDefinition object) {
+                                return createKOfMGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseComponentFaultTree(ComponentFaultTree object) {
+                                return createComponentFaultTreeAdapter();
+                        }
+                        @Override
+                        public Adapter caseComponent(Component object) {
+                                return createComponentAdapter();
+                        }
+                        @Override
+                        public Adapter caseInput(Input object) {
+                                return createInputAdapter();
+                        }
+                        @Override
+                        public Adapter caseOutput(Output object) {
+                                return createOutputAdapter();
+                        }
+                        @Override
+                        public Adapter caseConnection(Connection object) {
+                                return createConnectionAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition <em>Component Definition</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.faulttree.model.cft.ComponentDefinition
+         * @generated
+         */
+        public Adapter createComponentDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition <em>Event Definition</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.faulttree.model.cft.EventDefinition
+         * @generated
+         */
+        public Adapter createEventDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition <em>Gate Definition</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.faulttree.model.cft.GateDefinition
+         * @generated
+         */
+        public Adapter createGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition <em>Basic Event Definition</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.faulttree.model.cft.BasicEventDefinition
+         * @generated
+         */
+        public Adapter createBasicEventDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent <em>Intput Event</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.faulttree.model.cft.IntputEvent
+         * @generated
+         */
+        public Adapter createIntputEventAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration <em>Event Declaration</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.faulttree.model.cft.EventDeclaration
+         * @generated
+         */
+        public Adapter createEventDeclarationAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition <em>And Gate Definition</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.faulttree.model.cft.AndGateDefinition
+         * @generated
+         */
+        public Adapter createAndGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition <em>Or Gate Definition</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.faulttree.model.cft.OrGateDefinition
+         * @generated
+         */
+        public Adapter createOrGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition <em>KOf MGate Definition</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.faulttree.model.cft.KOfMGateDefinition
+         * @generated
+         */
+        public Adapter createKOfMGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree <em>Component Fault Tree</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.faulttree.model.cft.ComponentFaultTree
+         * @generated
+         */
+        public Adapter createComponentFaultTreeAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component <em>Component</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.faulttree.model.cft.Component
+         * @generated
+         */
+        public Adapter createComponentAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input <em>Input</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.faulttree.model.cft.Input
+         * @generated
+         */
+        public Adapter createInputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output <em>Output</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.faulttree.model.cft.Output
+         * @generated
+         */
+        public Adapter createOutputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection <em>Connection</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.faulttree.model.cft.Connection
+         * @generated
+         */
+        public Adapter createConnectionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //CftAdapterFactory
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java
new file mode 100644
index 00000000..f2ec9ffb
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java
@@ -0,0 +1,398 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.util.Switch;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage
+ * @generated
+ */
+public class CftSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static CftPackage modelPackage;
+
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CftSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = CftPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case CftPackage.COMPONENT_DEFINITION: {
+                                ComponentDefinition componentDefinition = (ComponentDefinition)theEObject;
+                                T result = caseComponentDefinition(componentDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.EVENT_DEFINITION: {
+                                EventDefinition eventDefinition = (EventDefinition)theEObject;
+                                T result = caseEventDefinition(eventDefinition);
+                                if (result == null) result = caseEventDeclaration(eventDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.GATE_DEFINITION: {
+                                GateDefinition gateDefinition = (GateDefinition)theEObject;
+                                T result = caseGateDefinition(gateDefinition);
+                                if (result == null) result = caseEventDefinition(gateDefinition);
+                                if (result == null) result = caseEventDeclaration(gateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.BASIC_EVENT_DEFINITION: {
+                                BasicEventDefinition basicEventDefinition = (BasicEventDefinition)theEObject;
+                                T result = caseBasicEventDefinition(basicEventDefinition);
+                                if (result == null) result = caseEventDefinition(basicEventDefinition);
+                                if (result == null) result = caseEventDeclaration(basicEventDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.INTPUT_EVENT: {
+                                IntputEvent intputEvent = (IntputEvent)theEObject;
+                                T result = caseIntputEvent(intputEvent);
+                                if (result == null) result = caseEventDeclaration(intputEvent);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.EVENT_DECLARATION: {
+                                EventDeclaration eventDeclaration = (EventDeclaration)theEObject;
+                                T result = caseEventDeclaration(eventDeclaration);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.AND_GATE_DEFINITION: {
+                                AndGateDefinition andGateDefinition = (AndGateDefinition)theEObject;
+                                T result = caseAndGateDefinition(andGateDefinition);
+                                if (result == null) result = caseGateDefinition(andGateDefinition);
+                                if (result == null) result = caseEventDefinition(andGateDefinition);
+                                if (result == null) result = caseEventDeclaration(andGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.OR_GATE_DEFINITION: {
+                                OrGateDefinition orGateDefinition = (OrGateDefinition)theEObject;
+                                T result = caseOrGateDefinition(orGateDefinition);
+                                if (result == null) result = caseGateDefinition(orGateDefinition);
+                                if (result == null) result = caseEventDefinition(orGateDefinition);
+                                if (result == null) result = caseEventDeclaration(orGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.KOF_MGATE_DEFINITION: {
+                                KOfMGateDefinition kOfMGateDefinition = (KOfMGateDefinition)theEObject;
+                                T result = caseKOfMGateDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseGateDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseEventDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseEventDeclaration(kOfMGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.COMPONENT_FAULT_TREE: {
+                                ComponentFaultTree componentFaultTree = (ComponentFaultTree)theEObject;
+                                T result = caseComponentFaultTree(componentFaultTree);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.COMPONENT: {
+                                Component component = (Component)theEObject;
+                                T result = caseComponent(component);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.INPUT: {
+                                Input input = (Input)theEObject;
+                                T result = caseInput(input);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.OUTPUT: {
+                                Output output = (Output)theEObject;
+                                T result = caseOutput(output);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.CONNECTION: {
+                                Connection connection = (Connection)theEObject;
+                                T result = caseConnection(connection);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component Definition</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>Component Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponentDefinition(ComponentDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Event Definition</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>Event Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEventDefinition(EventDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Gate Definition</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>Gate Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseGateDefinition(GateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Basic Event Definition</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>Basic Event Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseBasicEventDefinition(BasicEventDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Intput Event</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>Intput Event</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseIntputEvent(IntputEvent object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Event Declaration</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>Event Declaration</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEventDeclaration(EventDeclaration object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>And Gate Definition</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>And Gate Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseAndGateDefinition(AndGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Or Gate Definition</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>Or Gate Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseOrGateDefinition(OrGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>KOf MGate Definition</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>KOf MGate Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseKOfMGateDefinition(KOfMGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component Fault Tree</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>Component Fault Tree</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponentFaultTree(ComponentFaultTree object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component</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>Component</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponent(Component object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Input</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>Input</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseInput(Input object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Output</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>Output</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseOutput(Output object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Connection</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>Connection</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseConnection(Connection object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+
+} //CftSwitch