<?xml version="1.0" encoding="ASCII"?>
<Program:PROGRAM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:AlgorithmItem="http://www.openmodelica.org/openmodelica.unparsed/AlgorithmItem" xmlns:AlgorithmStatement="http://www.openmodelica.org/openmodelica.abstract.syntax/AlgorithmStatement" xmlns:Class="http://www.openmodelica.org/openmodelica.abstract.syntax/Class" xmlns:ClassDef="http://www.openmodelica.org/openmodelica.abstract.syntax/ClassDef" xmlns:ClassPart="http://www.openmodelica.org/openmodelica.abstract.syntax/ClassPart" xmlns:Comment="http://www.openmodelica.org/openmodelica.abstract.syntax/Comment" xmlns:Component="http://www.openmodelica.org/openmodelica.abstract.syntax/Component" xmlns:ComponentItem="http://www.openmodelica.org/openmodelica.abstract.syntax/ComponentItem" xmlns:ComponentRef="http://www.openmodelica.org/openmodelica.unparsed/ComponentRef" xmlns:Direction="http://www.openmodelica.org/openmodelica.abstract.syntax/Direction" xmlns:Each="http://www.openmodelica.org/openmodelica.abstract.syntax/Each" xmlns:Element="http://www.openmodelica.org/openmodelica.abstract.syntax/Element" xmlns:ElementArg="http://www.openmodelica.org/openmodelica.unparsed/ElementArg" xmlns:ElementAttributes="http://www.openmodelica.org/openmodelica.abstract.syntax/ElementAttributes" xmlns:ElementItem="http://www.openmodelica.org/openmodelica.abstract.syntax/ElementItem" xmlns:ElementSpec="http://www.openmodelica.org/openmodelica.abstract.syntax/ElementSpec" xmlns:Equation="http://www.openmodelica.org/openmodelica.unparsed/Equation" xmlns:EquationItem="http://www.openmodelica.org/openmodelica.abstract.syntax/EquationItem" xmlns:Exp="http://www.openmodelica.org/openmodelica.unparsed/Exp" xmlns:FunctionArgs="http://www.openmodelica.org/openmodelica.unparsed/FunctionArgs" xmlns:InnerOuter="http://www.openmodelica.org/openmodelica.abstract.syntax/InnerOuter" xmlns:Modifications="http://www.openmodelica.org/openmodelica.abstract.syntax/Modifications" xmlns:Operator="http://www.openmodelica.org/openmodelica.abstract.syntax/Operator" xmlns:Path="http://www.openmodelica.org/openmodelica.abstract.syntax/Path" xmlns:Program="http://www.openmodelica.org/openmodelica.abstract.syntax/Program" xmlns:Restriction="http://www.openmodelica.org/openmodelica.abstract.syntax/Restriction" xmlns:TypeSpec="http://www.openmodelica.org/openmodelica.abstract.syntax/TypeSpec" xmlns:Variability="http://www.openmodelica.org/openmodelica.abstract.syntax/Variability" xmlns:Within="http://www.openmodelica.org/openmodelica.abstract.syntax/Within">
  <classes xsi:type="Class:CLASS" name="TwoTankExample">
    <body xsi:type="ClassDef:PARTS">
      <classParts xsi:type="ClassPart:PUBLIC">
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="ActSignal">
                <body xsi:type="ClassDef:PARTS" comment="Signal to actuator for setting valve position">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="act"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_CONNECTOR"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="ReadSignal">
                <body xsi:type="ClassDef:PARTS" comment="Reading fluid level">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="val">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="m"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_CONNECTOR"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="LiquidFlow">
                <body xsi:type="ClassDef:PARTS" comment="Liquid flow at inlets or outlets">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="lflow">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="m3/s"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_CONNECTOR"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="BaseController" partialPrefix="true">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="K">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <expOption xsi:type="Exp:INTEGER" value="2"/>
                              </modification>
                            </component>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="T">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="s"/>
                                  </modification>
                                </elementArgLst>
                                <expOption xsi:type="Exp:INTEGER" value="10"/>
                              </modification>
                            </component>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="cIn"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="ReadSignal"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="cOut"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="ActSignal"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="ref"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="error"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="outCtr"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:EQUATIONS">
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="error"/>
                        </leftSide>
                        <rightSide xsi:type="Exp:BINARY">
                          <exp1 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="ref"/>
                          </exp1>
                          <op xsi:type="Operator:SUB"/>
                          <exp2 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_QUAL" name="cIn">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="val"/>
                            </componentRef>
                          </exp2>
                        </rightSide>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_QUAL" name="cOut">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="act"/>
                          </componentRef>
                        </leftSide>
                        <rightSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="outCtr"/>
                        </rightSide>
                      </equation_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_MODEL"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="limitValue">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:INPUT"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="pMin"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:INPUT"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="pMax"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:INPUT"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="p"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:OUTPUT"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="pLim"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:ALGORITHMS">
                    <contents xsi:type="AlgorithmItem:ALGORITHMITEM">
                      <algorithm_ xsi:type="AlgorithmStatement:ALG_ASSIGN">
                        <assignComponent xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="pLim"/>
                        </assignComponent>
                        <value xsi:type="Exp:IFEXP">
                          <ifExp xsi:type="Exp:RELATION">
                            <exp1 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="p"/>
                            </exp1>
                            <op xsi:type="Operator:GREATER"/>
                            <exp2 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="pMax"/>
                            </exp2>
                          </ifExp>
                          <trueBranch xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="pMax"/>
                          </trueBranch>
                          <elseBranch xsi:type="Exp:IFEXP">
                            <ifExp xsi:type="Exp:RELATION">
                              <exp1 xsi:type="Exp:CREF">
                                <componentRef xsi:type="ComponentRef:CREF_IDENT" name="p"/>
                              </exp1>
                              <op xsi:type="Operator:LESS"/>
                              <exp2 xsi:type="Exp:CREF">
                                <componentRef xsi:type="ComponentRef:CREF_IDENT" name="pMin"/>
                              </exp2>
                            </ifExp>
                            <trueBranch xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="pMin"/>
                            </trueBranch>
                            <elseBranch xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="p"/>
                            </elseBranch>
                          </elseBranch>
                        </value>
                      </algorithm_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_FUNCTION"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="LiquidSource">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="qOut"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="LiquidFlow"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="flowLevel">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <expOption xsi:type="Exp:REAL" value="0.02"/>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:EQUATIONS">
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_QUAL" name="qOut">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="lflow"/>
                          </componentRef>
                        </leftSide>
                        <rightSide xsi:type="Exp:IFEXP">
                          <ifExp xsi:type="Exp:RELATION">
                            <exp1 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="time"/>
                            </exp1>
                            <op xsi:type="Operator:GREATER"/>
                            <exp2 xsi:type="Exp:INTEGER" value="150"/>
                          </ifExp>
                          <trueBranch xsi:type="Exp:BINARY">
                            <exp1 xsi:type="Exp:INTEGER" value="3"/>
                            <op xsi:type="Operator:MUL"/>
                            <exp2 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="flowLevel"/>
                            </exp2>
                          </trueBranch>
                          <elseBranch xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="flowLevel"/>
                          </elseBranch>
                        </rightSide>
                      </equation_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_MODEL"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="PIcontinuousController">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="extends">
                        <specification xsi:type="ElementSpec:EXTENDS">
                          <path xsi:type="Path:IDENT" name="BaseController"/>
                          <elementArg xsi:type="ElementArg:MODIFICATION">
                            <each_ xsi:type="Each:NON_EACH"/>
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="K"/>
                            <modification xsi:type="Modifications:CLASSMOD">
                              <expOption xsi:type="Exp:INTEGER" value="2"/>
                            </modification>
                          </elementArg>
                          <elementArg xsi:type="ElementArg:MODIFICATION">
                            <each_ xsi:type="Each:NON_EACH"/>
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="T"/>
                            <modification xsi:type="Modifications:CLASSMOD">
                              <expOption xsi:type="Exp:INTEGER" value="10"/>
                            </modification>
                          </elementArg>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="x"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:EQUATIONS">
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CALL">
                          <function_ xsi:type="ComponentRef:CREF_IDENT" name="der"/>
                          <functionArgs xsi:type="FunctionArgs:FUNCTIONARGS">
                            <args xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="x"/>
                            </args>
                          </functionArgs>
                        </leftSide>
                        <rightSide xsi:type="Exp:BINARY">
                          <exp1 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="error"/>
                          </exp1>
                          <op xsi:type="Operator:DIV"/>
                          <exp2 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="T"/>
                          </exp2>
                        </rightSide>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="outCtr"/>
                        </leftSide>
                        <rightSide xsi:type="Exp:BINARY">
                          <exp1 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="K"/>
                          </exp1>
                          <op xsi:type="Operator:MUL"/>
                          <exp2 xsi:type="Exp:BINARY">
                            <exp1 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="error"/>
                            </exp1>
                            <op xsi:type="Operator:ADD"/>
                            <exp2 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="x"/>
                            </exp2>
                          </exp2>
                        </rightSide>
                      </equation_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_MODEL"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="Tank">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="tSensor"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="ReadSignal"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="tActuator"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="ActSignal"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="qIn"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="LiquidFlow"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="qOut"/>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="LiquidFlow"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="area">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="m2"/>
                                  </modification>
                                </elementArgLst>
                                <expOption xsi:type="Exp:REAL" value="0.5"/>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="flowGain">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="m2/s"/>
                                  </modification>
                                </elementArgLst>
                                <expOption xsi:type="Exp:REAL" value="0.05"/>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="minV">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <expOption xsi:type="Exp:INTEGER"/>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:PARAM"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="maxV">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <expOption xsi:type="Exp:INTEGER" value="10"/>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="h">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="start"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:REAL"/>
                                  </modification>
                                </elementArgLst>
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="unit"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:STRING" value="m"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                            <comment xsi:type="Comment:COMMENT"/>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Real"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:EQUATIONS">
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_NORETCALL">
                        <functionArgs xsi:type="FunctionArgs:FUNCTIONARGS">
                          <args xsi:type="Exp:RELATION">
                            <exp1 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="minV"/>
                            </exp1>
                            <op xsi:type="Operator:GREATEREQ"/>
                            <exp2 xsi:type="Exp:INTEGER"/>
                          </args>
                          <args xsi:type="Exp:STRING" value="minV - minimum Valve level must be&#xD;&#xA;>= 0 "/>
                        </functionArgs>
                        <functionName xsi:type="ComponentRef:CREF_IDENT" name="assert"/>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CALL">
                          <function_ xsi:type="ComponentRef:CREF_IDENT" name="der"/>
                          <functionArgs xsi:type="FunctionArgs:FUNCTIONARGS">
                            <args xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="h"/>
                            </args>
                          </functionArgs>
                        </leftSide>
                        <rightSide xsi:type="Exp:BINARY">
                          <exp1 xsi:type="Exp:BINARY">
                            <exp1 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_QUAL" name="qIn">
                                <componentRef xsi:type="ComponentRef:CREF_IDENT" name="lflow"/>
                              </componentRef>
                            </exp1>
                            <op xsi:type="Operator:SUB"/>
                            <exp2 xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_QUAL" name="qOut">
                                <componentRef xsi:type="ComponentRef:CREF_IDENT" name="lflow"/>
                              </componentRef>
                            </exp2>
                          </exp1>
                          <op xsi:type="Operator:DIV"/>
                          <exp2 xsi:type="Exp:CREF">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="area"/>
                          </exp2>
                        </rightSide>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_QUAL" name="qOut">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="lflow"/>
                          </componentRef>
                        </leftSide>
                        <rightSide xsi:type="Exp:CALL">
                          <function_ xsi:type="ComponentRef:CREF_IDENT" name="limitValue"/>
                          <functionArgs xsi:type="FunctionArgs:FUNCTIONARGS">
                            <args xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="minV"/>
                            </args>
                            <args xsi:type="Exp:CREF">
                              <componentRef xsi:type="ComponentRef:CREF_IDENT" name="maxV"/>
                            </args>
                            <args xsi:type="Exp:UNARY">
                              <op xsi:type="Operator:UMINUS"/>
                              <exp xsi:type="Exp:BINARY">
                                <exp1 xsi:type="Exp:CREF">
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="flowGain"/>
                                </exp1>
                                <op xsi:type="Operator:MUL"/>
                                <exp2 xsi:type="Exp:CREF">
                                  <componentRef xsi:type="ComponentRef:CREF_QUAL" name="tActuator">
                                    <componentRef xsi:type="ComponentRef:CREF_IDENT" name="act"/>
                                  </componentRef>
                                </exp2>
                              </exp>
                            </args>
                          </functionArgs>
                        </rightSide>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_EQUALS">
                        <leftSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_QUAL" name="tSensor">
                            <componentRef xsi:type="ComponentRef:CREF_IDENT" name="val"/>
                          </componentRef>
                        </leftSide>
                        <rightSide xsi:type="Exp:CREF">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="h"/>
                        </rightSide>
                      </equation_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_MODEL"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
        <contents xsi:type="ElementItem:ELEMENTITEM">
          <element xsi:type="Element:ELEMENT" name="??">
            <specification xsi:type="ElementSpec:CLASSDEF">
              <class_ xsi:type="Class:CLASS" name="TanksConnectedPI">
                <body xsi:type="ClassDef:PARTS">
                  <classParts xsi:type="ClassPart:PUBLIC">
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="source">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="flowLevel"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:REAL" value="0.02"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="LiquidSource"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="tank1">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="area"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:INTEGER" value="1"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Tank"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="tank2">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="area"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:REAL" value="1.3"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="Tank"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="piContinuous1">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="ref"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:REAL" value="0.25"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="PIcontinuousController"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                    <contents xsi:type="ElementItem:ELEMENTITEM">
                      <element xsi:type="Element:ELEMENT" name="component">
                        <specification xsi:type="ElementSpec:COMPONENTS">
                          <attributes xsi:type="ElementAttributes:ATTR">
                            <variability xsi:type="Variability:VAR"/>
                            <direction xsi:type="Direction:BIDIR"/>
                          </attributes>
                          <components xsi:type="ComponentItem:COMPONENTITEM">
                            <component xsi:type="Component:COMPONENT" name="piContinuous2">
                              <modification xsi:type="Modifications:CLASSMOD">
                                <elementArgLst xsi:type="ElementArg:MODIFICATION">
                                  <each_ xsi:type="Each:NON_EACH"/>
                                  <componentRef xsi:type="ComponentRef:CREF_IDENT" name="ref"/>
                                  <modification xsi:type="Modifications:CLASSMOD">
                                    <expOption xsi:type="Exp:REAL" value="0.4"/>
                                  </modification>
                                </elementArgLst>
                              </modification>
                            </component>
                          </components>
                          <typeSpec xsi:type="TypeSpec:TPATH">
                            <path xsi:type="Path:IDENT" name="PIcontinuousController"/>
                          </typeSpec>
                        </specification>
                        <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
                      </element>
                    </contents>
                  </classParts>
                  <classParts xsi:type="ClassPart:EQUATIONS">
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="source">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="qOut"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="tank1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="qIn"/>
                        </connector2>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="tank1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="tActuator"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="piContinuous1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="cOut"/>
                        </connector2>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="tank1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="tSensor"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="piContinuous1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="cIn"/>
                        </connector2>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="tank1">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="qOut"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="tank2">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="qIn"/>
                        </connector2>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="tank2">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="tActuator"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="piContinuous2">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="cOut"/>
                        </connector2>
                      </equation_>
                    </contents>
                    <contents xsi:type="EquationItem:EQUATIONITEM">
                      <equation_ xsi:type="Equation:EQ_CONNECT">
                        <connector1 xsi:type="ComponentRef:CREF_QUAL" name="tank2">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="tSensor"/>
                        </connector1>
                        <connector2 xsi:type="ComponentRef:CREF_QUAL" name="piContinuous2">
                          <componentRef xsi:type="ComponentRef:CREF_IDENT" name="cIn"/>
                        </connector2>
                      </equation_>
                    </contents>
                  </classParts>
                </body>
                <restriction xsi:type="Restriction:R_MODEL"/>
              </class_>
            </specification>
            <innerOuter xsi:type="InnerOuter:UNSPECIFIED"/>
          </element>
        </contents>
      </classParts>
    </body>
    <restriction xsi:type="Restriction:R_PACKAGE"/>
  </classes>
  <within_ xsi:type="Within:TOP"/>
</Program:PROGRAM>
