<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI
	xmlns:xmi="http://www.omg.org/spec/XMI/20131001"
	xmlns:uml="http://www.omg.org/spec/UML/20131001"
	xmlns:sysml="http://www.omg.org/spec/SysML/20150709/SysML"
	xmlns:RAAMLC="http://www.omg.org/spec/RAAML/20201101/Core"
	xmlns:RAAMLG="http://www.omg.org/spec/RAAML/20201101/GeneralConcepts"
	xmlns:FTA="http://www.omg.org/spec/RAAML/20201101/FTA"
	>
	<xmi:documentation>
		<xmi:exporter>Handtuned MagicDraw UML</xmi:exporter>
		<xmi:exporterVersion>19.0 v9</xmi:exporterVersion>
	</xmi:documentation>
		<uml:Package xmi:type="uml:Package" xmi:id="_18_5_3_8760274_1538292117350_318791_19548" name="FTA Library">
			<packagedElement xmi:type="uml:Package" xmi:id="_18_5_3_8760274_1538292117350_918519_19568" name="Gates">
				<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552758582702_788801_12861" body="Package of logical conditions for building fault trees.">
					<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_918519_19568"/>
				</ownedComment>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117497_555753_19673" name="AND">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426034216_133445_16020" body="The output event occurs only if all input events occur.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117497_555753_19673"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1538292117628_465266_19791" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292118203_330427_19813" visibility="private" aggregation="composite" type="_18_5_3_8760274_1538292117350_876332_19553"/>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1538292117628_927601_19765" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1538292119253_865917_19928" partWithPort="_18_5_3_8760274_1538292118203_330427_19813" role="_18_5_3_8760274_1538292117497_897051_19654"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1538292119253_833098_19929" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541583095967_187752_27356" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583095967_774994_27357" partWithPort="_18_5_3_8760274_1538292118203_330427_19813" role="_18_5_3_8760274_1538292117497_947551_19653"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583095967_528426_27358" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117497_4459_19674" name="OR">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426161646_757594_16108" body="The output event occurs if at least one of input event occurs.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117497_4459_19674"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1538292118203_354976_19815" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292118715_831043_19837" visibility="private" aggregation="composite" type="_18_5_3_8760274_1538292117350_847952_19567"/>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1538292117628_482921_19763" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1538292119253_949825_19922" partWithPort="_18_5_3_8760274_1538292118715_831043_19837" role="_18_5_3_8760274_1538292117497_172328_19671"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1538292119253_72094_19923" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541583123932_186948_27441" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583123932_127102_27442" partWithPort="_18_5_3_8760274_1538292118715_831043_19837" role="_18_5_3_8760274_1538292117497_751641_19670"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583123932_109122_27443" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117497_334657_19675" name="SEQ">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426179705_346280_16120" body="The output event occurs if all of the input events occur in a specific sequence.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117497_334657_19675"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1538292118716_262925_19839" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292119188_776850_19861" visibility="private" aggregation="composite" type="_18_5_3_8760274_1538292117350_754360_19569"/>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541583162932_746398_27526" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583162932_692775_27527" partWithPort="_18_5_3_8760274_1538292119188_776850_19861" role="_18_5_3_8760274_1538292117497_749041_19678"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583162932_582843_27528" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584573256_486148_31168" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584573256_145863_31169" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584573256_224131_31170" partWithPort="_18_5_3_8760274_1538292119188_776850_19861" role="_18_5_3_8760274_1538292117497_284090_19679"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541181216031_650310_24344" name="XOR">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552758582717_230579_12862" body="The output event occurs if exactly one of the input events occurs.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541181216031_650310_24344"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541181216102_146636_24369" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541181216101_598285_24368" visibility="private" aggregation="composite" type="_18_5_3_8760274_1541583721349_964101_28545"/>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541583816295_929631_28749" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583816295_318167_28750" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583816295_258461_28751" partWithPort="_18_5_3_8760274_1541181216101_598285_24368" role="_18_5_3_8760274_1541583721349_672396_28547"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541583823038_148984_28772" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583823038_362619_28773" partWithPort="_18_5_3_8760274_1541181216101_598285_24368" role="_18_5_3_8760274_1541583721349_695925_28548"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541583823039_741311_28774" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117350_139031_19566" name="Gate" isAbstract="true">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426072085_144587_16034" body="An FTAElement that combines input Event probabilities in a prescribed manner to determine output Event probability. The output event occurs if the combination of input events is satisfied. The gate subtypes specify the necessary combination.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_139031_19566"/>
					</ownedComment>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_319832_19650" name="source Event" visibility="public" type="_18_5_3_8760274_1538292117350_234788_19550" association="_18_5_3_8760274_1538292117350_255939_19551">
						<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1538292117628_122317_19774"/>
						<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1538292117628_461211_19773" value="*"/>
					</ownedAttribute>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_897326_19667" name="target Event" visibility="public" type="_18_5_3_8760274_1538292117350_234788_19550" association="_18_5_3_8760274_1538292117350_147809_19565">
					</ownedAttribute>
				</packagedElement>
				<packagedElement xmi:type="uml:Association" xmi:id="_18_5_3_8760274_1538292117350_147809_19565" name="output">
					<memberEnd xmi:idref="_18_5_3_8760274_1538292117497_897326_19667"/>
					<memberEnd xmi:idref="_18_5_3_8760274_1538292117497_969433_19648"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541181488047_863479_24540" name="INHIBIT">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426097459_620874_16048" body="The output event occurs if the (single) input event occurs in the presence of an enabling condition.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541181488047_863479_24540"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541181488096_531472_24563" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541181488095_220799_24562" visibility="private" aggregation="composite" type="_18_5_3_8760274_1541583894633_556342_28987"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541183534766_20127_25317" name="condition" visibility="private" type="_18_5_3_8760274_1538292117350_234788_19550" association="_18_5_3_8760274_1541183534766_215057_25316">
						<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541183614760_926786_25367"/>
						<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1541183614760_260918_25368" value="*"/>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584005301_283725_29422" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584005301_186808_29423" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584005301_802947_29424" partWithPort="_18_5_3_8760274_1541181488095_220799_24562" role="_18_5_3_8760274_1541583894637_329191_28990"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584024084_690453_29507" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584024084_211107_29508" partWithPort="_18_5_3_8760274_1541181488095_220799_24562" role="_18_5_3_8760274_1541583894636_725481_28989"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584024100_519658_29509" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584074885_866970_29539" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584074885_220082_29540" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584074885_238573_29541" partWithPort="_18_5_3_8760274_1541181488095_220799_24562" role="_18_5_3_8760274_1541584074901_59693_29543"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541181533015_673172_24684" name="MAJORITY_VOTE">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426114455_554521_16060" body="The output event occurs if the majority of the input events occurs. It has a threshold parameter m.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541181533015_673172_24684"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541181533077_474881_24707" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541181533077_769278_24706" visibility="private" aggregation="composite" type="_18_5_3_8760274_1541584106977_138262_29665"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541585381473_996869_32353" name="m" aggregation="composite">
						<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Integer"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569265083609_112448_2251" body="The m parameter defines the number of input events that form a majority. It is not necessarily ceil(number_of_inputs / 2). It is possible to stipulate that e.g. 5 (or 2) input events have to occur out of total of 7 events for majority gate to fire.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1541585381473_996869_32353"/>
						</ownedComment>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584164376_43004_29891" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584164376_299076_29892" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584164376_1619_29893" partWithPort="_18_5_3_8760274_1541181533077_769278_24706" role="_18_5_3_8760274_1541584106993_467483_29668"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584177221_260444_29914" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584177221_83639_29915" partWithPort="_18_5_3_8760274_1541181533077_769278_24706" role="_18_5_3_8760274_1541584106993_867511_29667"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584177221_629318_29916" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_93d02ae_1542887626098_841817_10949" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_93d02ae_1542887626099_519870_10950" role="_18_5_3_8760274_1541585381473_996869_32353"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_93d02ae_1542887626100_548547_10951" partWithPort="_18_5_3_8760274_1541181533077_769278_24706" role="_18_5_3_93d02ae_1542887619777_507017_10910"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541181560019_898747_24827" name="NOT">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426129218_71618_16072" body="The output event occurs if the input event does not occur.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541181560019_898747_24827"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541181560107_578829_24850" general="_18_5_3_8760274_1538292117350_139031_19566"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541181560107_732735_24849" visibility="private" aggregation="composite" type="_18_5_3_8760274_1541584250709_803259_30029"/>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584316881_892349_30171" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584316881_464805_30172" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584316881_309050_30173" partWithPort="_18_5_3_8760274_1541181560107_732735_24849" role="_18_5_3_8760274_1541584250725_659679_30032"/>
					</ownedConnector>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_8760274_1541584329854_656355_30256" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584329854_639678_30257" role="_18_5_3_8760274_1538292117497_724426_19646"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_8760274_1541584329854_331368_30258" partWithPort="_18_5_3_8760274_1541181560107_732735_24849" role="_18_5_3_8760274_1541584250725_96501_30031"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Association" xmi:id="_18_5_3_8760274_1541183534766_215057_25316" name="condition">
					<memberEnd xmi:idref="_18_5_3_8760274_1541183534766_20127_25317"/>
					<memberEnd xmi:idref="_18_5_3_8760274_1541183534766_754456_25318"/>
					<ownedEnd xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1541183534766_754456_25318" name="INHIBIT gate" visibility="private" type="_18_5_3_8760274_1541181488047_863479_24540" association="_18_5_3_8760274_1541183534766_215057_25316">
						<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541183606395_386676_25361"/>
						<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1541183606395_547300_25362" value="*"/>
					</ownedEnd>
				</packagedElement>
				<packagedElement xmi:type="uml:Package" xmi:id="_18_5_3_8760274_1541583701559_295383_28444" name="ConstraintBlocks">
					<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190603003_571878_4870" body="Reference implementation for the FTA gates.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541583701559_295383_28444"/>
					</ownedComment>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117350_876332_19553" name="ANDConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190456707_645134_4863" body="Reference implementation for the AND gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_876332_19553"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1538292117497_414841_19652">
							<constrainedElement xmi:idref="_18_5_3_8760274_1538292117350_876332_19553"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1538292117628_861466_19776">
								<body>if (input.length &gt; 0) {
    output = 1;
}
for (i = 0; i &lt; input.length; i++) {
    output = input[i] * output;
}</body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_947551_19653" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_897051_19654" name="input" visibility="private" aggregation="composite">
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1538292117628_902578_19779"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1538292117628_449393_19778" value="*"/>
						</ownedAttribute>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117350_847952_19567" name="ORConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190462071_454393_4864" body="Reference implementation for the OR gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_847952_19567"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1538292117497_643715_19669">
							<constrainedElement xmi:idref="_18_5_3_8760274_1538292117350_847952_19567"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1538292117628_494526_19786">
								<body>if (input.length &gt; 0) {
    output = 1;
}
for (i = 0; i &lt; input.length; i++) {
    output = (1 - input[i]) * output;
}

output = 1 - output;
</body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_751641_19670" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_172328_19671" name="input" visibility="private" aggregation="composite">
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1538292117628_233740_19789"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1538292117628_369148_19788" value="*"/>
						</ownedAttribute>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117350_754360_19569" name="SEQConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190473456_761592_4865" body="Reference implementation for the SEQ gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_754360_19569"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1538292117497_653176_19677">
							<constrainedElement xmi:idref="_18_5_3_8760274_1538292117350_754360_19569"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1538292119188_342498_19866">
								<body>if (input.length &gt; 0) {
    output = 1;
}
for (i = 0; i &lt; input.length; i++) {
    output = input[i] * output;
}</body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_749041_19678" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1538292117497_284090_19679" name="input" visibility="private" aggregation="composite">
							<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1538292119188_836822_19869"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1538292119188_74076_19868" value="*"/>
						</ownedAttribute>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541583721349_964101_28545" name="XORConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190534063_1583_4867" body="Reference implementation for the XOR gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1541583721349_964101_28545"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1541583721349_671201_28546">
							<constrainedElement xmi:idref="_18_5_3_8760274_1541583721349_964101_28545"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1541583721349_923707_28550">
								<body>if (input.length &gt; 0) {
    output = input[0];
}
for (i = 1; i &lt; input.length; i++) {
    output = (output + input[i]) - (2 * output * input[i]);
}
                  </body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541583721349_672396_28547" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541583721349_695925_28548" name="input" visibility="private" aggregation="composite">
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541583721349_348242_28553"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1541583721349_479088_28552" value="*"/>
						</ownedAttribute>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541583894633_556342_28987" name="INHIBITConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190543000_855082_4868" body="Reference implementation for the INHIBIT gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1541583894633_556342_28987"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1541583894635_591523_28988">
							<constrainedElement xmi:idref="_18_5_3_8760274_1541583894633_556342_28987"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1541583894638_191500_28992">
								<body>if (input.length &gt; 0) {
    output = 1;
    for (i = 0; i &lt; input.length; i++) {
        output = input[i] * output;
    }
}
if (condition.length &gt; 0) {
    for (i = 0; i &lt; condition.length; i++) {
        output = condition[i] * output;
    }
}</body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541583894636_725481_28989" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541583894637_329191_28990" name="input" visibility="private" aggregation="composite">
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541583894640_592095_28995"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1541583894639_774968_28994" value="*"/>
						</ownedAttribute>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541584074901_59693_29543" name="condition" visibility="private" aggregation="composite">
							<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
						</ownedAttribute>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541584106977_138262_29665" name="MAJORITY_VOTEConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190550231_285399_4869" body="Reference implementation for the MAJORITY_VOTE gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1541584106977_138262_29665"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1541584106977_724123_29666">
							<constrainedElement xmi:idref="_18_5_3_8760274_1541584106977_138262_29665"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1541584106993_934078_29670">
								<body>function getCombinations(array, min) {
    var res = [];
    function iter(i, temp) {
        if (i === array.length) return;
        var t = temp.concat(array[i]);
        iter(i + 1, t);
        iter(i + 1, temp);
        if (t.length &gt;= min) {
            res.push(t);
        }
    }
    
    iter(0, []);
    return res;
}
   
function and(arrayOfProbabilities) {
    if (arrayOfProbabilities.length &gt; 0) {
        output = 1;
    }
    for (i = 0; i &lt; arrayOfProbabilities.length; i++) {
        output = arrayOfProbabilities[i] * output;
    }
    return output;
}


function or(arrayOfProbabilities) {
    if (arrayOfProbabilities.length &gt; 0) {
        output = arrayOfProbabilities[0];
    }
    for (i = 1; i &lt; arrayOfProbabilities.length; i++) {
        output = (output + arrayOfProbabilities[i]) - (output * arrayOfProbabilities[i]);
    }
    return output;
}       

var allCombinations = getCombinations(input, m);   
var andsArray = [];
 
for (j = 0; j &lt; allCombinations.length; j++) {
	andsArray.push(and(allCombinations[j]));
}

output = or(andsArray);      </body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541584106993_867511_29667" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541584106993_467483_29668" name="input" visibility="private" aggregation="composite">
							<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541584106993_703727_29673"/>
							<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_18_5_3_8760274_1541584106993_605485_29672" value="*"/>
						</ownedAttribute>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_93d02ae_1542887619777_507017_10910" name="m" visibility="private" aggregation="composite"/>
					</packagedElement>
					<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541584250709_803259_30029" name="NOTConstraintBlock">
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569190528045_985589_4866" body="Reference implementation for the NOT gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1541584250709_803259_30029"/>
						</ownedComment>
						<ownedRule xmi:type="uml:Constraint" xmi:id="_18_5_3_8760274_1541584250725_42065_30030">
							<constrainedElement xmi:idref="_18_5_3_8760274_1541584250709_803259_30029"/>
							<specification xmi:type="uml:OpaqueExpression" xmi:id="_18_5_3_8760274_1541584250725_157454_30034">
								<body>output = 1 - input;
</body>
								<language>JavaScript</language>
							</specification>
						</ownedRule>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541584250725_96501_30031" name="output" visibility="private" aggregation="composite"/>
						<ownedAttribute xmi:type="uml:Port" xmi:id="_18_5_3_8760274_1541584250725_659679_30032" name="input" visibility="private" aggregation="composite"/>
					</packagedElement>
				</packagedElement>
			</packagedElement>
			<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292565313_500555_22169" name="FTAElement" isAbstract="true">
				<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426222304_214645_16269" body="Any of the Events and Gates needed for the evaluation of the TopEvent probability.">
					<annotatedElement xmi:idref="_18_5_3_8760274_1538292565313_500555_22169"/>
				</ownedComment>
				<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1538292615253_348100_22218">
					<general href="http://www.omg.org/spec/RAAML/20201101/GeneralRAAMLLib.xmi#_18_5_3_f720368_1537729437929_750972_12332"/>
				</generalization>
				<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_724426_19646" name="probability" visibility="public" aggregation="composite">
					<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
					<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569265885108_614773_2272" body="The probability that the event represented by the owning FTA element occurs. Probability is a Real value between 0 and 1.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117497_724426_19646"/>
					</ownedComment>
					<defaultValue xmi:type="uml:LiteralReal" xmi:id="_18_5_3_8760274_1538292117628_648607_19768"/>
				</ownedAttribute>
			</packagedElement>
			<packagedElement xmi:type="uml:Package" xmi:id="_18_5_3_8760274_1541181345240_769097_24522" name="Events">
				<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552758582657_375869_12859" body="Package of events for building fault trees.">
					<annotatedElement xmi:idref="_18_5_3_8760274_1541181345240_769097_24522"/>
				</ownedComment>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490608_959055_23990" name="BasicEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425774710_957564_15911" body="A basic initiating failure requiring no further development.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490608_959055_23990"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180581083_433575_24242" general="_18_5_3_8760274_1538292117350_234788_19550"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490608_633549_23988" name="ConditionalEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425809024_114610_15923" body="Specific conditions or restrictions that apply to any logic gate (used primarily with PRIORITY AND and INHIBIT gates).">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490608_633549_23988"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180592232_717364_24245" general="_18_5_3_8760274_1538292117350_234788_19550"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490586_851134_23980" name="DormantEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425837739_949049_15935" body="The dormant event is similar to BasicEvent but indicates the latent failure which is discovered by periodical tests.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490586_851134_23980"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180595683_57187_24249" general="_18_5_3_8760274_1538292117350_234788_19550"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490592_314656_23986" name="HouseEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425873853_520365_15947" body="An event which can be set to occur or not occur.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490592_314656_23986"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180604309_659190_24255" general="_18_5_3_8760274_1538292117350_234788_19550"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_19_0_2_30b0125_1569252072719_95592_901" name="probability" visibility="public" aggregation="composite" type="_19_0_2_30b0125_1569252106509_609320_914">
						<redefinedProperty xmi:idref="_18_5_3_8760274_1538292117497_724426_19646"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569264446881_574508_2241" body="Probability of the house event is 0 or 1. It is set before doing a fault tree evaluation.">
							<annotatedElement xmi:idref="_19_0_2_30b0125_1569252072719_95592_901"/>
						</ownedComment>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_19_0_2_30b0125_1569252072720_37546_902" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252072720_935418_905" role="_19_0_2_30b0125_1569252072719_95592_901"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252072720_317868_906" role="_19_0_2_30b0125_1569252072719_95592_901"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1540751325691_523650_15873" name="IntermediateEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425893398_121849_15959" body="An intermediate event is a failure which occurs because of one or more antecedent events acting through logic gates.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1540751325691_523650_15873"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1540751490811_13082_16024" general="_18_5_3_8760274_1538292117350_234788_19550"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_19_0_2_30b0125_1569252787002_684364_1049" name="probability" visibility="public" aggregation="composite" isDerived="true">
						<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
						<redefinedProperty xmi:idref="_18_5_3_8760274_1538292117497_724426_19646"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569264536682_209905_2242" body="Probability of the intermediate event is derived. It is calculated by the gate from the probabilities of the more basic events.">
							<annotatedElement xmi:idref="_19_0_2_30b0125_1569252787002_684364_1049"/>
						</ownedComment>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_19_0_2_30b0125_1569252787003_479871_1050" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252787004_693679_1053" role="_19_0_2_30b0125_1569252787002_684364_1049"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252787004_913933_1054" role="_19_0_2_30b0125_1569252787002_684364_1049"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1538292117350_234788_19550" name="Event" isAbstract="true">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552758582687_492020_12860" body="The Event is a base class for all types fault tree events. It is a kind of DysfunctionalEvent.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1538292117350_234788_19550"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1540750046580_186990_12307" general="_18_5_3_8760274_1538292565313_500555_22169"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_55495_19647" name="source Gate" visibility="public" type="_18_5_3_8760274_1538292117350_139031_19566" association="_18_5_3_8760274_1538292117350_255939_19551"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_634084_19682" name="priority" aggregation="composite">
						<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Integer"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569264604950_161521_2243" body="The priority field is only used to indicate the order of this event when multiple events are inputs of Priority AND (SEQ) gate.">
							<annotatedElement xmi:idref="_18_5_3_8760274_1538292117497_634084_19682"/>
						</ownedComment>
						<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_18_5_3_8760274_1541179911322_613588_23799"/>
					</ownedAttribute>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_8760274_1538292117497_969433_19648" name="target Gate" visibility="public" type="_18_5_3_8760274_1538292117350_139031_19566" association="_18_5_3_8760274_1538292117350_147809_19565"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Association" xmi:id="_18_5_3_8760274_1538292117350_255939_19551" name="input">
					<memberEnd xmi:idref="_18_5_3_8760274_1538292117497_55495_19647"/>
					<memberEnd xmi:idref="_18_5_3_8760274_1538292117497_319832_19650"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1540751535114_421817_16123" name="TopEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425911214_728804_15971" body="Undesired event - failure or effect - at the top of the fault tree.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1540751535114_421817_16123"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1540751543800_740794_16168" general="_18_5_3_8760274_1538292117350_234788_19550"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_19_0_2_30b0125_1569252817268_868310_1060" name="probability" visibility="public" aggregation="composite" isDerived="true">
						<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
						<redefinedProperty xmi:idref="_18_5_3_8760274_1538292117497_724426_19646"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569264854167_463655_2249" body="The (derived) probability of the top event is the result of the fault tree calculation.">
							<annotatedElement xmi:idref="_19_0_2_30b0125_1569252817268_868310_1060"/>
						</ownedComment>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_19_0_2_30b0125_1569252817270_867102_1061" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252817271_958120_1064" role="_19_0_2_30b0125_1569252817268_868310_1060"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252817271_292405_1065" role="_19_0_2_30b0125_1569252817268_868310_1060"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490592_667503_23984" name="UndevelopedEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425929359_136498_15985" body="An event which is not further developed either because it is of insufficient consequence or because information is unavailable.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490592_667503_23984"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180600007_58418_24252" general="_18_5_3_8760274_1538292117350_234788_19550"/>
				</packagedElement>
				<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_8760274_1541180490592_902642_23982" name="ZeroEvent">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552425947313_807462_15997" body="An event which represents a condition or an event that will never occur.">
						<annotatedElement xmi:idref="_18_5_3_8760274_1541180490592_902642_23982"/>
					</ownedComment>
					<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_8760274_1541180608268_879564_24258" general="_18_5_3_8760274_1538292117350_234788_19550"/>
					<ownedAttribute xmi:type="uml:Property" xmi:id="_19_0_2_30b0125_1569252016177_41104_890" name="probability" visibility="public" isReadOnly="true" aggregation="composite">
						<type href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
						<redefinedProperty xmi:idref="_18_5_3_8760274_1538292117497_724426_19646"/>
						<ownedComment xmi:type="uml:Comment" xmi:id="_19_0_2_30b0125_1569264929689_799400_2250" body="The probability of zero event is always 0.">
							<annotatedElement xmi:idref="_19_0_2_30b0125_1569252016177_41104_890"/>
						</ownedComment>
						<defaultValue xmi:type="uml:LiteralReal" xmi:id="_19_0_2_30b0125_1569252016179_598343_892"/>
					</ownedAttribute>
					<ownedConnector xmi:type="uml:Connector" xmi:id="_19_0_2_30b0125_1569252016178_644905_891" visibility="public">
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252016179_741083_894" role="_19_0_2_30b0125_1569252016177_41104_890"/>
						<end xmi:type="uml:ConnectorEnd" xmi:id="_19_0_2_30b0125_1569252016180_95156_895" role="_19_0_2_30b0125_1569252016177_41104_890"/>
					</ownedConnector>
				</packagedElement>
				<packagedElement xmi:type="uml:Enumeration" xmi:id="_19_0_2_30b0125_1569252106509_609320_914" name="HouseEventProbability">
					<generalization xmi:type="uml:Generalization" xmi:id="_19_0_2_30b0125_1569252133845_510290_957">
						<general href="http://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#Real"/>
					</generalization>
					<ownedLiteral xmi:type="uml:EnumerationLiteral" xmi:id="_19_0_2_30b0125_1569252139825_191737_958" name="OCCURS">
						<specification xmi:type="uml:LiteralReal" xmi:id="_19_0_2_30b0125_1569252206432_463655_963" value="1.0"/>
					</ownedLiteral>
					<ownedLiteral xmi:type="uml:EnumerationLiteral" xmi:id="_19_0_2_30b0125_1569252149092_183741_960" name="NOT_OCCUR">
						<specification xmi:type="uml:LiteralReal" xmi:id="_19_0_2_30b0125_1569252218950_441892_964"/>
					</ownedLiteral>
				</packagedElement>
			</packagedElement>
			<packagedElement xmi:type="uml:Class" xmi:id="_18_5_3_93d02ae_1543924423327_821329_58255" name="FTATree">
				<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426243767_941515_16281" body="A collection of FTAElements and their interrelationships for the evaluation of the top event probability.">
					<annotatedElement xmi:idref="_18_5_3_93d02ae_1543924423327_821329_58255"/>
				</ownedComment>
				<generalization xmi:type="uml:Generalization" xmi:id="_18_5_3_93d02ae_1543924481962_269929_58307" general="_18_5_3_8760274_1538292565313_500555_22169"/>
				<generalization xmi:type="uml:Generalization" xmi:id="_19_0_2_30b0125_1569255427842_89783_1388">
					<general href="http://www.omg.org/spec/RAAML/20201101/GeneralRAAMLLib.xmi#_19_0_2_30b0125_1567605657641_831831_104784"/>
				</generalization>
				<ownedAttribute xmi:type="uml:Property" xmi:id="_18_5_3_93d02ae_1543924561784_75921_58363" name="topEvent" visibility="private" aggregation="composite" type="_18_5_3_8760274_1538292117350_234788_19550" association="_18_5_3_93d02ae_1543924561784_250289_58362">
					<ownedComment xmi:type="uml:Comment" xmi:id="_18_5_3_8760274_1552426270634_480769_16295" body="Undesired event which lead to the failure of the system.">
						<annotatedElement xmi:idref="_18_5_3_93d02ae_1543924561784_75921_58363"/>
					</ownedComment>
				</ownedAttribute>
				<ownedConnector xmi:type="uml:Connector" xmi:id="_18_5_3_93d02ae_1543924615990_979426_58461" visibility="public">
					<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_93d02ae_1543924615991_582480_58462" role="_18_5_3_8760274_1538292117497_724426_19646"/>
					<end xmi:type="uml:ConnectorEnd" xmi:id="_18_5_3_93d02ae_1543924615991_158995_58463" role="_18_5_3_8760274_1538292117497_724426_19646"/>
				</ownedConnector>
			</packagedElement>
			<packagedElement xmi:type="uml:Association" xmi:id="_18_5_3_93d02ae_1543924561784_250289_58362">
				<memberEnd xmi:idref="_18_5_3_93d02ae_1543924561784_75921_58363"/>
				<memberEnd xmi:idref="_18_5_3_93d02ae_1543924561785_746486_58364"/>
				<ownedEnd xmi:type="uml:Property" xmi:id="_18_5_3_93d02ae_1543924561785_746486_58364" visibility="private" type="_18_5_3_93d02ae_1543924423327_821329_58255" association="_18_5_3_93d02ae_1543924561784_250289_58362"/>
			</packagedElement>
			<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_19_0_3_30b0125_1604651216128_196885_611">
				<appliedProfile href="http://www.omg.org/spec/RAAML/20201101/FTA.xmi#_18_5_3_f720368_1530538769343_678942_36985"/>
			</profileApplication>
		</uml:Package>
	<sysml:Block xmi:id="_18_5_3_8760274_1538292118203_974944_19814" base_Class="_18_5_3_8760274_1538292117497_555753_19673"/>
	<FTA:AND xmi:id="_18_5_3_8760274_1538292118203_974944_19814application1" base_Class="_18_5_3_8760274_1538292117497_555753_19673"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1538292119253_1158_19924" base_Connector="_18_5_3_8760274_1538292117628_482921_19763"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541583095967_392200_27359" base_Connector="_18_5_3_8760274_1541583095967_187752_27356"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1538292119253_299270_19930" base_Connector="_18_5_3_8760274_1538292117628_927601_19765"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541583123932_395019_27444" base_Connector="_18_5_3_8760274_1541583123932_186948_27441"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1538292119269_742457_19986" base_ConnectorEnd="_18_5_3_8760274_1538292119253_949825_19922" propertyPath="_18_5_3_8760274_1538292118715_831043_19837"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1538292118715_484674_19838" base_Class="_18_5_3_8760274_1538292117497_4459_19674" isEncapsulated="false"/>
	<FTA:OR xmi:id="_18_5_3_8760274_1538292118715_484674_19838application1" base_Class="_18_5_3_8760274_1538292117497_4459_19674"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1538292119269_859936_19991" base_ConnectorEnd="_18_5_3_8760274_1538292119253_833098_19929" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1538292119188_100816_19862" base_Class="_18_5_3_8760274_1538292117497_334657_19675"/>
	<FTA:SEQ xmi:id="_18_5_3_8760274_1538292119188_100816_19862application1" base_Class="_18_5_3_8760274_1538292117497_334657_19675"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541583162932_814574_27529" base_Connector="_18_5_3_8760274_1541583162932_746398_27526"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583162958_92535_27535" base_ConnectorEnd="_18_5_3_8760274_1541583162932_692775_27527" propertyPath="_18_5_3_8760274_1538292119188_776850_19861"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583162973_541305_27538" base_ConnectorEnd="_18_5_3_8760274_1541583162932_582843_27528" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1538292119269_528202_19987" base_ConnectorEnd="_18_5_3_8760274_1538292119253_72094_19923" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_93d02ae_1543352973753_273883_11125" base_ConnectorEnd="_18_5_3_8760274_1541584573256_145863_31169" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541583816295_665994_28752" base_Connector="_18_5_3_8760274_1541583816295_929631_28749"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584573294_721466_31173" base_ConnectorEnd="_18_5_3_8760274_1541584573256_224131_31170" propertyPath="_18_5_3_8760274_1538292119188_776850_19861"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583123979_247150_27450" base_ConnectorEnd="_18_5_3_8760274_1541583123932_127102_27442" propertyPath="_18_5_3_8760274_1538292118715_831043_19837"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1541181216102_456879_24370" base_Class="_18_5_3_8760274_1541181216031_650310_24344"/>
	<FTA:XOR xmi:id="_18_5_3_8760274_1541181216102_456879_24370application1" base_Class="_18_5_3_8760274_1541181216031_650310_24344"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541583823040_813127_28775" base_Connector="_18_5_3_8760274_1541583823038_148984_28772"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1538292119269_662757_19990" base_ConnectorEnd="_18_5_3_8760274_1538292119253_865917_19928" propertyPath="_18_5_3_8760274_1538292118203_330427_19813"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583096013_460506_27365" base_ConnectorEnd="_18_5_3_8760274_1541583095967_774994_27357" propertyPath="_18_5_3_8760274_1538292118203_330427_19813"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583096013_233148_27368" base_ConnectorEnd="_18_5_3_8760274_1541583095967_528426_27358" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583816364_432339_28761" base_ConnectorEnd="_18_5_3_8760274_1541583816295_258461_28751" propertyPath="_18_5_3_8760274_1541181216101_598285_24368"/>
	<RAAMLC:Situation xmi:id="_18_5_3_8760274_1538292117497_152889_19668" base_Class="_18_5_3_8760274_1538292117350_139031_19566"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583823078_333702_28784" base_ConnectorEnd="_18_5_3_8760274_1541583823039_741311_28774" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583816349_115115_28758" base_ConnectorEnd="_18_5_3_8760274_1541583816295_318167_28750" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583823073_601458_28781" base_ConnectorEnd="_18_5_3_8760274_1541583823038_362619_28773" propertyPath="_18_5_3_8760274_1541181216101_598285_24368"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541583123995_619946_27453" base_ConnectorEnd="_18_5_3_8760274_1541583123932_109122_27443" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584024100_439260_29510" base_Connector="_18_5_3_8760274_1541584024084_690453_29507"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_93d02ae_1543164611622_27393_11153" base_ConnectorEnd="_18_5_3_8760274_1541584074885_220082_29540" propertyPath="_18_5_3_8760274_1541183534766_20127_25317"/>
	<FTA:INHIBIT xmi:id="_18_5_3_8760274_1541181488096_384464_24564" base_Class="_18_5_3_8760274_1541181488047_863479_24540"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1541181488096_384464_24564application1" base_Class="_18_5_3_8760274_1541181488047_863479_24540"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584005339_981413_29434" base_ConnectorEnd="_18_5_3_8760274_1541584005301_802947_29424" propertyPath="_18_5_3_8760274_1541181488095_220799_24562"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584074885_137600_29542" base_Connector="_18_5_3_8760274_1541584074885_866970_29539"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584005301_771730_29425" base_Connector="_18_5_3_8760274_1541584005301_283725_29422"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1541181533077_418392_24708" base_Class="_18_5_3_8760274_1541181533015_673172_24684"/>
	<FTA:MAJORITY_VOTE xmi:id="_18_5_3_8760274_1541181533077_418392_24708application1" base_Class="_18_5_3_8760274_1541181533015_673172_24684"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584074947_373878_29562" base_ConnectorEnd="_18_5_3_8760274_1541584074885_238573_29541" propertyPath="_18_5_3_8760274_1541181488095_220799_24562"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584177221_748402_29917" base_Connector="_18_5_3_8760274_1541584177221_260444_29914"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584024131_935644_29516" base_ConnectorEnd="_18_5_3_8760274_1541584024084_211107_29508" propertyPath="_18_5_3_8760274_1541181488095_220799_24562"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584164376_591812_29894" base_Connector="_18_5_3_8760274_1541584164376_43004_29891"/>
	<sysml:BindingConnector xmi:id="_18_5_3_93d02ae_1542887626101_858458_10952" base_Connector="_18_5_3_93d02ae_1542887626098_841817_10949"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584177236_72579_29923" base_ConnectorEnd="_18_5_3_8760274_1541584177221_83639_29915" propertyPath="_18_5_3_8760274_1541181533077_769278_24706"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584005339_496400_29431" base_ConnectorEnd="_18_5_3_8760274_1541584005301_186808_29423" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584164423_46790_29900" base_ConnectorEnd="_18_5_3_8760274_1541584164376_299076_29892" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:Block xmi:id="_18_5_3_8760274_1541181560107_24497_24851" base_Class="_18_5_3_8760274_1541181560019_898747_24827"/>
	<FTA:NOT xmi:id="_18_5_3_8760274_1541181560107_24497_24851application1" base_Class="_18_5_3_8760274_1541181560019_898747_24827"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584316881_580277_30174" base_Connector="_18_5_3_8760274_1541584316881_892349_30171"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584024146_980832_29519" base_ConnectorEnd="_18_5_3_8760274_1541584024100_519658_29509" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:BindingConnector xmi:id="_18_5_3_8760274_1541584329854_318408_30259" base_Connector="_18_5_3_8760274_1541584329854_656355_30256"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584164430_326395_29903" base_ConnectorEnd="_18_5_3_8760274_1541584164376_1619_29893" propertyPath="_18_5_3_8760274_1541181533077_769278_24706"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_93d02ae_1542887626168_415836_10964" base_ConnectorEnd="_18_5_3_93d02ae_1542887626100_548547_10951" propertyPath="_18_5_3_8760274_1541181533077_769278_24706"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584316931_543319_30183" base_ConnectorEnd="_18_5_3_8760274_1541584316881_309050_30173" propertyPath="_18_5_3_8760274_1541181560107_732735_24849"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584329882_518022_30265" base_ConnectorEnd="_18_5_3_8760274_1541584329854_639678_30257" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1538292117497_251405_19655" base_Class="_18_5_3_8760274_1538292117350_876332_19553"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1538292117497_753961_19680" base_Class="_18_5_3_8760274_1538292117350_754360_19569"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1538292117497_236978_19672" base_Class="_18_5_3_8760274_1538292117350_847952_19567"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1541583721349_580694_28549" base_Class="_18_5_3_8760274_1541583721349_964101_28545"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584329897_552420_30268" base_ConnectorEnd="_18_5_3_8760274_1541584329854_331368_30258" propertyPath="_18_5_3_8760274_1541181560107_732735_24849"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1541583894638_938920_28991" base_Class="_18_5_3_8760274_1541583894633_556342_28987"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1541584106993_409797_29669" base_Class="_18_5_3_8760274_1541584106977_138262_29665"/>
	<sysml:ConstraintBlock xmi:id="_18_5_3_8760274_1541584250725_964477_30033" base_Class="_18_5_3_8760274_1541584250709_803259_30029"/>
	<RAAMLC:Situation xmi:id="_18_5_3_8760274_1538292565313_579910_22170" base_Class="_18_5_3_8760274_1538292565313_500555_22169"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584316928_351978_30180" base_ConnectorEnd="_18_5_3_8760274_1541584316881_464805_30172" propertyPath="_18_5_3_8760274_1538292117497_319832_19650"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_8760274_1541584177236_311822_29926" base_ConnectorEnd="_18_5_3_8760274_1541584177221_629318_29916" propertyPath="_18_5_3_8760274_1538292117497_897326_19667"/>
	<FTA:BasicEvent xmi:id="_18_5_3_8760274_1541180490608_966611_23991" base_Class="_18_5_3_8760274_1541180490608_959055_23990"/>
	<FTA:HouseEvent xmi:id="_18_5_3_8760274_1541180490592_618591_23987" base_Class="_18_5_3_8760274_1541180490592_314656_23986"/>
	<FTA:ConditionalEvent xmi:id="_18_5_3_8760274_1541180490608_180704_23989" base_Class="_18_5_3_8760274_1541180490608_633549_23988"/>
	<RAAMLC:Situation xmi:id="_18_5_3_8760274_1538292117497_615353_19649" base_Class="_18_5_3_8760274_1538292117350_234788_19550"/>
	<sysml:NestedConnectorEnd xmi:id="_19_0_2_30b0125_1569252787004_436339_1056" base_ConnectorEnd="_19_0_2_30b0125_1569252787004_693679_1053" propertyPath="_18_5_3_93d02ae_1543924561784_75921_58363"/>
	<sysml:BindingConnector xmi:id="_19_0_2_30b0125_1569252787004_693461_1055" base_Connector="_19_0_2_30b0125_1569252787003_479871_1050"/>
	<FTA:IntermediateEvent xmi:id="_18_5_3_8760274_1540751325692_460167_15874" base_Class="_18_5_3_8760274_1540751325691_523650_15873"/>
	<sysml:BindingConnector xmi:id="_19_0_2_30b0125_1569252817271_628359_1066" base_Connector="_19_0_2_30b0125_1569252817270_867102_1061"/>
	<FTA:BasicEvent xmi:id="_19_0_3_30b0125_1603887595548_996476_163" base_Class="_18_5_3_8760274_1541180490592_667503_23984"/>
	<RAAMLG:Undeveloped xmi:id="_19_0_3_30b0125_1603887595548_996476_163application1" base_Element="_18_5_3_8760274_1541180490592_667503_23984"/>
	<FTA:ZeroEvent xmi:id="_18_5_3_8760274_1541180490592_290739_23983" base_Class="_18_5_3_8760274_1541180490592_902642_23982"/>
	<sysml:NestedConnectorEnd xmi:id="_19_0_2_30b0125_1569252072721_472023_908" base_ConnectorEnd="_19_0_2_30b0125_1569252072720_935418_905" propertyPath="_18_5_3_93d02ae_1543924561784_75921_58363"/>
	<FTA:DormantEvent xmi:id="_18_5_3_8760274_1541180490592_252316_23981" base_Class="_18_5_3_8760274_1541180490586_851134_23980"/>
	<sysml:NestedConnectorEnd xmi:id="_19_0_2_30b0125_1569252016180_980476_897" base_ConnectorEnd="_19_0_2_30b0125_1569252016179_741083_894" propertyPath="_18_5_3_93d02ae_1543924561784_75921_58363"/>
	<sysml:ValueType xmi:id="_19_0_2_30b0125_1569252106509_269377_915" base_DataType="_19_0_2_30b0125_1569252106509_609320_914"/>
	<FTA:Tree xmi:id="_18_5_3_93d02ae_1544013233133_708839_13279" base_Class="_18_5_3_93d02ae_1543924423327_821329_58255"/>
	<sysml:BindingConnector xmi:id="_18_5_3_93d02ae_1544013233149_463868_13446" base_Connector="_18_5_3_93d02ae_1543924615990_979426_58461"/>
	<sysml:BindingConnector xmi:id="_19_0_2_30b0125_1569252072721_424231_907" base_Connector="_19_0_2_30b0125_1569252072720_37546_902"/>
	<sysml:NestedConnectorEnd xmi:id="_18_5_3_93d02ae_1544013233140_529528_13354" base_ConnectorEnd="_18_5_3_93d02ae_1543924615991_582480_58462" propertyPath="_18_5_3_93d02ae_1543924561784_75921_58363"/>
	<sysml:BindingConnector xmi:id="_19_0_2_30b0125_1569252016180_368713_896" base_Connector="_19_0_2_30b0125_1569252016178_644905_891"/>
	<sysml:NestedConnectorEnd xmi:id="_19_0_2_30b0125_1569252817272_921584_1067" base_ConnectorEnd="_19_0_2_30b0125_1569252817271_958120_1064" propertyPath="_18_5_3_93d02ae_1543924561784_75921_58363"/>
	<FTA:TopEvent xmi:id="_18_5_3_8760274_1540751535115_362189_16124" base_Class="_18_5_3_8760274_1540751535114_421817_16123"/>
</xmi:XMI>