<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_Q3HDIC2YEeunIrWJiW4dhw" name="OLC_Car">
  <packageImport xmi:id="_Q4GhoC2YEeunIrWJiW4dhw">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:StateMachine" xmi:id="_nN1NgC2YEeunIrWJiW4dhw" name="OLC_Car_StateMachine">
    <nestedClassifier xmi:type="uml:Signal" xmi:id="_-2eLYC2bEeunIrWJiW4dhw" name="SigCableConnected"/>
    <nestedClassifier xmi:type="uml:Signal" xmi:id="_pofVQC2cEeunIrWJiW4dhw" name="SigStartCharging"/>
    <nestedClassifier xmi:type="uml:Signal" xmi:id="_1yw5wC2cEeunIrWJiW4dhw" name="SigChargingFinished"/>
    <nestedClassifier xmi:type="uml:Signal" xmi:id="__S2I4C2cEeunIrWJiW4dhw" name="SigCableDisconnected"/>
    <region xmi:id="_ZQiWwC2ZEeunIrWJiW4dhw" name="Cycle_error">
      <transition xmi:id="_5Rlb8C2aEeunIrWJiW4dhw" source="_sGKY8C2ZEeunIrWJiW4dhw" target="_vaBWYC2ZEeunIrWJiW4dhw">
        <trigger xmi:id="__KlaMC2bEeunIrWJiW4dhw" name="TrigCableConnected" event="__Ccx4C2bEeunIrWJiW4dhw"/>
      </transition>
      <transition xmi:id="_82Ju4C2aEeunIrWJiW4dhw" source="_jYXF4C2aEeunIrWJiW4dhw" target="_o65hYC2aEeunIrWJiW4dhw"/>
      <transition xmi:id="_7441YC2aEeunIrWJiW4dhw" source="_SqL4YC2aEeunIrWJiW4dhw" target="_jYXF4C2aEeunIrWJiW4dhw">
        <trigger xmi:id="__hjTQC2cEeunIrWJiW4dhw" name="TrigCableDisconnected" event="_8qMroC2cEeunIrWJiW4dhw"/>
      </transition>
      <transition xmi:id="_7YooAC2aEeunIrWJiW4dhw" source="_LhHj8C2aEeunIrWJiW4dhw" target="_SqL4YC2aEeunIrWJiW4dhw">
        <trigger xmi:id="_2I1QYC2cEeunIrWJiW4dhw" name="TrigChargingFinished" event="_1-SNQC2cEeunIrWJiW4dhw"/>
      </transition>
      <transition xmi:id="_aLOWAC2cEeunIrWJiW4dhw" source="_vaBWYC2ZEeunIrWJiW4dhw" target="_jYXF4C2aEeunIrWJiW4dhw">
        <trigger xmi:id="_JxTEwC2dEeunIrWJiW4dhw" name="TrigCableDisconnected3" event="_8qMroC2cEeunIrWJiW4dhw"/>
      </transition>
      <transition xmi:id="_bAwwgFSkEeuvSIpoIJb8KA" source="_vaBWYC2ZEeunIrWJiW4dhw" target="_LhHj8C2aEeunIrWJiW4dhw">
        <trigger xmi:id="_sHVP4FSkEeuvSIpoIJb8KA" name="TrigChargingActive" event="_r-2CQFSkEeuvSIpoIJb8KA"/>
      </transition>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_sGKY8C2ZEeunIrWJiW4dhw" name="Initial"/>
      <subvertex xmi:type="uml:State" xmi:id="_vaBWYC2ZEeunIrWJiW4dhw" name="Set_charging_cable_connected"/>
      <subvertex xmi:type="uml:State" xmi:id="_LhHj8C2aEeunIrWJiW4dhw" name="Set_charging_active"/>
      <subvertex xmi:type="uml:State" xmi:id="_SqL4YC2aEeunIrWJiW4dhw" name="Set_charging_finished"/>
      <subvertex xmi:type="uml:State" xmi:id="_jYXF4C2aEeunIrWJiW4dhw" name="Set_charging_cable_disconnected"/>
      <subvertex xmi:type="uml:FinalState" xmi:id="_o65hYC2aEeunIrWJiW4dhw" name="Final"/>
    </region>
    <region xmi:id="_nS6BIC2gEeunIrWJiW4dhw" name="Charging_Active">
      <transition xmi:id="_Jb9KEC2hEeunIrWJiW4dhw" source="_pkaJsC2gEeunIrWJiW4dhw" target="_qU-D8C2gEeunIrWJiW4dhw"/>
      <transition xmi:id="_18n-MFSdEeuvSIpoIJb8KA" name="NotActive->Active" guard="_BkoCcFSmEeuvSIpoIJb8KA" source="_qU-D8C2gEeunIrWJiW4dhw" target="_qxLe0C2gEeunIrWJiW4dhw">
        <ownedRule xmi:id="_BkoCcFSmEeuvSIpoIJb8KA" name="Constraint_active" constrainedElement="_LhHj8C2aEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_BkoCcVSmEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_2a5OkFSdEeuvSIpoIJb8KA" name="Active->NotActive" guard="_M4zscFSmEeuvSIpoIJb8KA" source="_qxLe0C2gEeunIrWJiW4dhw" target="_qU-D8C2gEeunIrWJiW4dhw">
        <ownedRule xmi:id="_M4zscFSmEeuvSIpoIJb8KA" name="Constraint_NotActive" constrainedElement="_SqL4YC2aEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_M4zscVSmEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_pkaJsC2gEeunIrWJiW4dhw" name="Initial"/>
      <subvertex xmi:type="uml:State" xmi:id="_qU-D8C2gEeunIrWJiW4dhw" name="Car_Charging_not_active"/>
      <subvertex xmi:type="uml:State" xmi:id="_qxLe0C2gEeunIrWJiW4dhw" name="Car_Charging_active"/>
    </region>
    <region xmi:id="_05GxEC2gEeunIrWJiW4dhw" name="Cable">
      <transition xmi:id="_L16rEC2hEeunIrWJiW4dhw" source="_8ONWYC2gEeunIrWJiW4dhw" target="_-RcZcC2gEeunIrWJiW4dhw"/>
      <transition xmi:id="_N_dxgC2hEeunIrWJiW4dhw" name="Con->Discon" guard="_XSy0sFTKEeuSce0SK5VwvA" source="_-pklkC2gEeunIrWJiW4dhw" target="_-RcZcC2gEeunIrWJiW4dhw">
        <ownedRule xmi:id="_XSy0sFTKEeuSce0SK5VwvA" name="Constraint_Disconnect" constrainedElement="_jYXF4C2aEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_XSy0sVTKEeuSce0SK5VwvA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_Qs3DgFS_EeuvSIpoIJb8KA" name="Dison->Con" guard="_cSaKUFS_EeuvSIpoIJb8KA" source="_-RcZcC2gEeunIrWJiW4dhw" target="_-pklkC2gEeunIrWJiW4dhw">
        <ownedRule xmi:id="_cSaKUFS_EeuvSIpoIJb8KA" name="Constraint_Connect" constrainedElement="_vaBWYC2ZEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_cSaKUVS_EeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_8ONWYC2gEeunIrWJiW4dhw" name="Initial"/>
      <subvertex xmi:type="uml:State" xmi:id="_-RcZcC2gEeunIrWJiW4dhw" name="Car_Cable_disconnected"/>
      <subvertex xmi:type="uml:State" xmi:id="_-pklkC2gEeunIrWJiW4dhw" name="Car_Cable_connected"/>
    </region>
    <region xmi:id="_04FMcFSnEeuvSIpoIJb8KA" name="Battery_Level">
      <transition xmi:id="_g_5roFSoEeuvSIpoIJb8KA" guard="_1ea-QFSoEeuvSIpoIJb8KA" source="_rfrkwFTKEeuSce0SK5VwvA" target="_PlwI8FSoEeuvSIpoIJb8KA">
        <ownedRule xmi:id="_1ea-QFSoEeuvSIpoIJb8KA" name="Constraint_20" constrainedElement="_qxLe0C2gEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_1ea-QVSoEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_hwy9EFSoEeuvSIpoIJb8KA" guard="_IKZ8QFSpEeuvSIpoIJb8KA" source="_PlwI8FSoEeuvSIpoIJb8KA" target="_QtBTAFSoEeuvSIpoIJb8KA">
        <ownedRule xmi:id="_IKZ8QFSpEeuvSIpoIJb8KA" name="Constraint_40" constrainedElement="_qxLe0C2gEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_IKZ8QVSpEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_i6cFsFSoEeuvSIpoIJb8KA" guard="_NkniMFSpEeuvSIpoIJb8KA" source="_QtBTAFSoEeuvSIpoIJb8KA" target="_VADOcFSoEeuvSIpoIJb8KA">
        <ownedRule xmi:id="_NkniMFSpEeuvSIpoIJb8KA" name="Constraint_60" constrainedElement="_qxLe0C2gEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_NkniMVSpEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_jk3iwFSoEeuvSIpoIJb8KA" guard="_bRT7sFSpEeuvSIpoIJb8KA" source="_VADOcFSoEeuvSIpoIJb8KA" target="_W1d38FSoEeuvSIpoIJb8KA">
        <ownedRule xmi:id="_bRT7sFSpEeuvSIpoIJb8KA" name="Constraint_80" constrainedElement="_qxLe0C2gEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_bRT7sVSpEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_kHWkwFSoEeuvSIpoIJb8KA" guard="_gM8IMFSpEeuvSIpoIJb8KA" source="_W1d38FSoEeuvSIpoIJb8KA" target="_ZtjfYFSoEeuvSIpoIJb8KA">
        <ownedRule xmi:id="_gM8IMFSpEeuvSIpoIJb8KA" name="Constraint_100" constrainedElement="_qxLe0C2gEeunIrWJiW4dhw">
          <specification xmi:type="uml:OpaqueExpression" xmi:id="_gM8IMVSpEeuvSIpoIJb8KA">
            <language>OCL</language>
            <body>true</body>
          </specification>
        </ownedRule>
      </transition>
      <transition xmi:id="_16aeQFTKEeuSce0SK5VwvA" source="_M-tOMFSoEeuvSIpoIJb8KA" target="_rfrkwFTKEeuSce0SK5VwvA"/>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_M-tOMFSoEeuvSIpoIJb8KA" name="Initial"/>
      <subvertex xmi:type="uml:State" xmi:id="_PlwI8FSoEeuvSIpoIJb8KA" name="20"/>
      <subvertex xmi:type="uml:State" xmi:id="_QtBTAFSoEeuvSIpoIJb8KA" name="40"/>
      <subvertex xmi:type="uml:State" xmi:id="_VADOcFSoEeuvSIpoIJb8KA" name="60"/>
      <subvertex xmi:type="uml:State" xmi:id="_W1d38FSoEeuvSIpoIJb8KA" name="80"/>
      <subvertex xmi:type="uml:State" xmi:id="_ZtjfYFSoEeuvSIpoIJb8KA" name="100"/>
      <subvertex xmi:type="uml:State" xmi:id="_rfrkwFTKEeuSce0SK5VwvA" name="0"/>
    </region>
  </packagedElement>
  <packagedElement xmi:type="uml:SignalEvent" xmi:id="__Ccx4C2bEeunIrWJiW4dhw" name="EventCableConnected" signal="_-2eLYC2bEeunIrWJiW4dhw"/>
  <packagedElement xmi:type="uml:SignalEvent" xmi:id="_1-SNQC2cEeunIrWJiW4dhw" name="EventChargigFinished" signal="_1yw5wC2cEeunIrWJiW4dhw"/>
  <packagedElement xmi:type="uml:SignalEvent" xmi:id="_8qMroC2cEeunIrWJiW4dhw" name="EventCableDisconnected" signal="__S2I4C2cEeunIrWJiW4dhw"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_qRkGcC2nEeunIrWJiW4dhw" name="OLC_Car_Class">
    <nestedClassifier xmi:type="uml:Interaction" xmi:id="_BhPSEC2oEeunIrWJiW4dhw" name="ConnectCableBeh">
      <action xmi:type="uml:SendSignalAction" xmi:id="_KvB3UC2oEeunIrWJiW4dhw" signal="_-2eLYC2bEeunIrWJiW4dhw">
        <target xmi:id="_VfJK8C2oEeunIrWJiW4dhw" name="target">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Z24nQC2oEeunIrWJiW4dhw" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Z251YC2oEeunIrWJiW4dhw" value="1"/>
        </target>
      </action>
    </nestedClassifier>
    <nestedClassifier xmi:type="uml:Interaction" xmi:id="_kvoScC2oEeunIrWJiW4dhw" name="DisconnectCableBeh">
      <action xmi:type="uml:SendSignalAction" xmi:id="_ojgzwC2oEeunIrWJiW4dhw" signal="__S2I4C2cEeunIrWJiW4dhw">
        <target xmi:id="_pojJMC2oEeunIrWJiW4dhw" name="target">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rdGQAC2oEeunIrWJiW4dhw" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rdG3EC2oEeunIrWJiW4dhw" value="1"/>
        </target>
      </action>
    </nestedClassifier>
    <nestedClassifier xmi:type="uml:Interaction" xmi:id="_87LToC2sEeunIrWJiW4dhw" name="ActivateChargingBeh">
      <action xmi:type="uml:SendSignalAction" xmi:id="_DV57YC2tEeunIrWJiW4dhw" signal="_pofVQC2cEeunIrWJiW4dhw">
        <target xmi:id="_IMEZEC2tEeunIrWJiW4dhw" name="target">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_earJQC2tEeunIrWJiW4dhw" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_easXYC2tEeunIrWJiW4dhw" value="1"/>
        </target>
      </action>
    </nestedClassifier>
    <nestedClassifier xmi:type="uml:Interaction" xmi:id="_pdvOEC2tEeunIrWJiW4dhw" name="DeactivateChargingBehBeh">
      <action xmi:type="uml:SendSignalAction" xmi:id="_r91MQC2tEeunIrWJiW4dhw" signal="_1yw5wC2cEeunIrWJiW4dhw">
        <target xmi:id="_s2mAQC2tEeunIrWJiW4dhw" name="target">
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MF4GwC2uEeunIrWJiW4dhw" value="1"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MF5U4C2uEeunIrWJiW4dhw" value="1"/>
        </target>
      </action>
    </nestedClassifier>
  </packagedElement>
  <packagedElement xmi:type="uml:SignalEvent" xmi:id="_r-2CQFSkEeuvSIpoIJb8KA" name="EventStartCharging" signal="_pofVQC2cEeunIrWJiW4dhw"/>
</uml:Model>
