<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_Bvd3AFLLEei-ps2IrsePSA" name="DIMBA">
  <packageImport xmi:type="uml:PackageImport" xmi:id="_B6_KgFLLEei-ps2IrsePSA">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:Package" xmi:id="_Rf1_gFLLEei-ps2IrsePSA" name="Structure">
    <packagedElement xmi:type="uml:Class" xmi:id="_tp__YFdxEeia3PgQtXbrog" name="ConMgr" isActive="true"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_u3OAcFdxEeia3PgQtXbrog" name="ModCmd" isAbstract="true">
      <ownedOperation xmi:type="uml:Operation" xmi:id="_n1Ix4F7REeiYcaQ4qYJ6pg" name="sendPacket">
        <ownedParameter xmi:type="uml:Parameter" xmi:id="_n1Ix4V7REeiYcaQ4qYJ6pg" name="packet" type="_nUzsAF7REeiYcaQ4qYJ6pg"/>
      </ownedOperation>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_1hZZcFdxEeia3PgQtXbrog" name="ModMgr" isActive="true"/>
    <packagedElement xmi:type="uml:Class" xmi:id="__5Dw0FdxEeia3PgQtXbrog" name="Sim900"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_A5sHYFdyEeia3PgQtXbrog" name="OtherModule"/>
    <packagedElement xmi:type="uml:Realization" xmi:id="_vhtLEFd1Eeia3PgQtXbrog" client="__5Dw0FdxEeia3PgQtXbrog" supplier="_Rf1_gFLLEei-ps2IrsePSA"/>
    <packagedElement xmi:type="uml:Realization" xmi:id="_0CPXAFd1Eeia3PgQtXbrog" client="_A5sHYFdyEeia3PgQtXbrog" supplier="_u3OAcFdxEeia3PgQtXbrog"/>
    <packagedElement xmi:type="uml:Association" xmi:id="_yzkSgFd3Eeia3PgQtXbrog" memberEnd="_yztccld3Eeia3PgQtXbrog _yz3Ncld3Eeia3PgQtXbrog" navigableOwnedEnd="_yztccld3Eeia3PgQtXbrog">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yztccFd3Eeia3PgQtXbrog" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yztccVd3Eeia3PgQtXbrog" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_yz3Ncld3Eeia3PgQtXbrog" type="_tp__YFdxEeia3PgQtXbrog" association="_yzkSgFd3Eeia3PgQtXbrog"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_yztccld3Eeia3PgQtXbrog" type="_u3OAcFdxEeia3PgQtXbrog" association="_yzkSgFd3Eeia3PgQtXbrog">
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_yz3NcFd3Eeia3PgQtXbrog"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_yz3NcVd3Eeia3PgQtXbrog" value="1"/>
      </ownedEnd>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_96PE8Fd3Eeia3PgQtXbrog" memberEnd="_96PE81d3Eeia3PgQtXbrog _96PE9Fd3Eeia3PgQtXbrog" navigableOwnedEnd="_96PE81d3Eeia3PgQtXbrog">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_96PE8Vd3Eeia3PgQtXbrog" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_96PE8ld3Eeia3PgQtXbrog" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_96PE81d3Eeia3PgQtXbrog" type="_1hZZcFdxEeia3PgQtXbrog" association="_96PE8Fd3Eeia3PgQtXbrog"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_96PE9Fd3Eeia3PgQtXbrog" type="_u3OAcFdxEeia3PgQtXbrog" association="_96PE8Fd3Eeia3PgQtXbrog"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_flHrMFd4Eeia3PgQtXbrog" name="ProtMgr" isAbstract="true"/>
    <packagedElement xmi:type="uml:Association" xmi:id="_iTsKQFd4Eeia3PgQtXbrog" visibility="public" memberEnd="_iTsKQ1d4Eeia3PgQtXbrog _iTsKRFd4Eeia3PgQtXbrog">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_iTsKQVd4Eeia3PgQtXbrog" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_iTsKQld4Eeia3PgQtXbrog" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_iTsKQ1d4Eeia3PgQtXbrog" type="_flHrMFd4Eeia3PgQtXbrog" aggregation="composite" association="_iTsKQFd4Eeia3PgQtXbrog"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_iTsKRFd4Eeia3PgQtXbrog" type="_tp__YFdxEeia3PgQtXbrog" association="_iTsKQFd4Eeia3PgQtXbrog"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_QQ4PoFd5Eeia3PgQtXbrog" name="MQTT"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_W42CIFd5Eeia3PgQtXbrog" name="OtherProcol"/>
    <packagedElement xmi:type="uml:Realization" xmi:id="_hHnjQFd5Eeia3PgQtXbrog" client="_QQ4PoFd5Eeia3PgQtXbrog" supplier="_flHrMFd4Eeia3PgQtXbrog"/>
    <packagedElement xmi:type="uml:Realization" xmi:id="_hzvpcFd5Eeia3PgQtXbrog" client="_Rf1_gFLLEei-ps2IrsePSA" supplier="_Rf1_gFLLEei-ps2IrsePSA"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_3vknkFd5Eeia3PgQtXbrog" name="IOChangerDetector" isActive="true"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_6uZJIFd5Eeia3PgQtXbrog" name="AnSampler" isActive="true"/>
    <packagedElement xmi:type="uml:Association" xmi:id="_99vaAFd5Eeia3PgQtXbrog" visibility="public" memberEnd="_99vaA1d5Eeia3PgQtXbrog _99vaBld5Eeia3PgQtXbrog" navigableOwnedEnd="_99vaA1d5Eeia3PgQtXbrog">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_99vaAVd5Eeia3PgQtXbrog" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_99vaAld5Eeia3PgQtXbrog" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_99vaBld5Eeia3PgQtXbrog" type="_3vknkFd5Eeia3PgQtXbrog" association="_99vaAFd5Eeia3PgQtXbrog"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_99vaA1d5Eeia3PgQtXbrog" type="_tp__YFdxEeia3PgQtXbrog" association="_99vaAFd5Eeia3PgQtXbrog">
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_99vaBFd5Eeia3PgQtXbrog"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_99vaBVd5Eeia3PgQtXbrog" value="1"/>
      </ownedEnd>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_-vSywFd5Eeia3PgQtXbrog" memberEnd="_-vSyw1d5Eeia3PgQtXbrog _-vSyxld5Eeia3PgQtXbrog" navigableOwnedEnd="_-vSyw1d5Eeia3PgQtXbrog">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_-vSywVd5Eeia3PgQtXbrog" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_-vSywld5Eeia3PgQtXbrog" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_-vSyxld5Eeia3PgQtXbrog" type="_6uZJIFd5Eeia3PgQtXbrog" association="_-vSywFd5Eeia3PgQtXbrog"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_-vSyw1d5Eeia3PgQtXbrog" type="_tp__YFdxEeia3PgQtXbrog" association="_-vSywFd5Eeia3PgQtXbrog">
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-vSyxFd5Eeia3PgQtXbrog"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-vSyxVd5Eeia3PgQtXbrog" value="1"/>
      </ownedEnd>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_GhojIF7MEeiYcaQ4qYJ6pg" name="SSP"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_nUzsAF7REeiYcaQ4qYJ6pg" name="Packet"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Package" xmi:id="_Tkn6sFLLEei-ps2IrsePSA" name="Behavior">
    <packagedElement xmi:type="uml:StateMachine" xmi:id="_Hs4wUFLOEei-ps2IrsePSA" name="ModMgr">
      <region xmi:type="uml:Region" xmi:id="_JKmEcFLOEei-ps2IrsePSA" name="Region1">
        <transition xmi:type="uml:Transition" xmi:id="_UuKiYFLbEei-ps2IrsePSA" source="_TiyUYFLbEei-ps2IrsePSA" target="_cYQ8wFLaEei-ps2IrsePSA">
          <effect xmi:type="uml:OpaqueBehavior" xmi:id="_hWqyoFLpEei-ps2IrsePSA">
            <language>C</language>
            <body>initialization();</body>
          </effect>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_uEns8FLeEei-ps2IrsePSA" source="_cYQ8wFLaEei-ps2IrsePSA" target="_e6DkEFLaEei-ps2IrsePSA">
          <trigger xmi:type="uml:Trigger" xmi:id="_KgdbcFLfEei-ps2IrsePSA" name="evOpen" event="_KXEO4FLfEei-ps2IrsePSA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_jva-QFLfEei-ps2IrsePSA" source="_8E174FLdEei-ps2IrsePSA" target="_cYQ8wFLaEei-ps2IrsePSA">
          <trigger xmi:type="uml:Trigger" xmi:id="_rXmQkFLfEei-ps2IrsePSA" event="_rO3LUFLfEei-ps2IrsePSA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_K8y1UFLjEei-ps2IrsePSA" kind="internal" source="_e6DkEFLaEei-ps2IrsePSA" target="_e6DkEFLaEei-ps2IrsePSA">
          <effect xmi:type="uml:OpaqueBehavior" xmi:id="_pou-MFLjEei-ps2IrsePSA">
            <language>C</language>
            <body>notifyURC();</body>
          </effect>
          <trigger xmi:type="uml:Trigger" xmi:id="_SzJGgFLjEei-ps2IrsePSA" event="_SqAYoFLjEei-ps2IrsePSA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_4yKbcFLjEei-ps2IrsePSA" source="_XXz90FLeEei-ps2IrsePSA" target="_8E174FLdEei-ps2IrsePSA">
          <effect xmi:type="uml:OpaqueBehavior" xmi:id="_FlEGMFLkEei-ps2IrsePSA">
            <language>C</language>
            <body>noResponse();</body>
          </effect>
          <trigger xmi:type="uml:Trigger" xmi:id="_AQZuoFLkEei-ps2IrsePSA" name="evToutWaitResponse" event="_AIDq8FLkEei-ps2IrsePSA"/>
        </transition>
        <subvertex xmi:type="uml:State" xmi:id="_cYQ8wFLaEei-ps2IrsePSA" name="inactive"/>
        <subvertex xmi:type="uml:State" xmi:id="_e6DkEFLaEei-ps2IrsePSA" name="active">
          <deferrableTrigger xmi:type="uml:Trigger" xmi:id="_G6kWAFLjEei-ps2IrsePSA" name="evModCmd" event="_GU3IQFLgEei-ps2IrsePSA"/>
          <deferrableTrigger xmi:type="uml:Trigger" xmi:id="_FRm6gFLrEei-ps2IrsePSA" event="_rO3LUFLfEei-ps2IrsePSA"/>
          <region xmi:type="uml:Region" xmi:id="_8ExDYVLdEei-ps2IrsePSA" name="Region1">
            <transition xmi:type="uml:Transition" xmi:id="_H2sZUFLeEei-ps2IrsePSA" source="_F_hcUFLeEei-ps2IrsePSA" target="_8E174FLdEei-ps2IrsePSA"/>
            <transition xmi:type="uml:Transition" xmi:id="_p-XCMFLeEei-ps2IrsePSA" source="_8E174FLdEei-ps2IrsePSA" target="_XXz90FLeEei-ps2IrsePSA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_o1IzgFLiEei-ps2IrsePSA">
                <language>C</language>
                <body>sendCmd();</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_GhFmYFLgEei-ps2IrsePSA" name="evModCmd" event="_GU3IQFLgEei-ps2IrsePSA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_eMG38FLlEei-ps2IrsePSA" source="_XXz90FLeEei-ps2IrsePSA" target="_afCwUFLlEei-ps2IrsePSA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_25b34FLmEei-ps2IrsePSA">
                <language>C</language>
                <body>sendResponse();</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_mCygUFLlEei-ps2IrsePSA" name="evResponse" event="_l6ijQFLlEei-ps2IrsePSA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_pFJeEFLlEei-ps2IrsePSA" guard="_Cf2hYFLnEei-ps2IrsePSA" source="_afCwUFLlEei-ps2IrsePSA" target="_arIvwFLeEei-ps2IrsePSA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_Cf2hYFLnEei-ps2IrsePSA" name="isInterComandTime">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_Cf2hYVLnEei-ps2IrsePSA">
                  <language>C</language>
                  <body>isInterComandTime()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_GdteEFLnEei-ps2IrsePSA">
                <language>C</language>
                <body>startDelay();</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_8Al0YFLlEei-ps2IrsePSA" guard="_kZ1TkFLnEei-ps2IrsePSA" source="_afCwUFLlEei-ps2IrsePSA" target="_8E174FLdEei-ps2IrsePSA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_kZ1TkFLnEei-ps2IrsePSA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_kZ1TkVLnEei-ps2IrsePSA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_sEMXMFLnEei-ps2IrsePSA">
                <language>C</language>
                <body>moreCmd();</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_4WDxcFLnEei-ps2IrsePSA" source="_arIvwFLeEei-ps2IrsePSA" target="_8E174FLdEei-ps2IrsePSA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_IIYasFLoEei-ps2IrsePSA">
                <language>C</language>
                <body>moreCmd();</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_EMzV8FLoEei-ps2IrsePSA" name="evToutInterCmdTime" event="_EDqoEFLoEei-ps2IrsePSA"/>
            </transition>
            <subvertex xmi:type="uml:State" xmi:id="_8E174FLdEei-ps2IrsePSA" name="idle"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_F_hcUFLeEei-ps2IrsePSA" name="Initial2"/>
            <subvertex xmi:type="uml:State" xmi:id="_XXz90FLeEei-ps2IrsePSA" name="inProgress"/>
            <subvertex xmi:type="uml:State" xmi:id="_arIvwFLeEei-ps2IrsePSA" name="waitInterCmdDelay"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_afCwUFLlEei-ps2IrsePSA" name="Junction1" kind="junction"/>
          </region>
        </subvertex>
        <subvertex xmi:type="uml:Pseudostate" xmi:id="_TiyUYFLbEei-ps2IrsePSA" name="Initial1"/>
      </region>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_CNxzkFLfEei-ps2IrsePSA" name="Event">
      <packagedElement xmi:type="uml:Signal" xmi:id="_KNs3gFLfEei-ps2IrsePSA" name="evOpen"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_KXEO4FLfEei-ps2IrsePSA" name="evOpen" signal="_KNs3gFLfEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_rBgEwFLfEei-ps2IrsePSA" name="evClose"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_rO3LUFLfEei-ps2IrsePSA" name="evClose" signal="_rBgEwFLfEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_GLfw4FLgEei-ps2IrsePSA" name="evCmd">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_DKucoFLiEei-ps2IrsePSA" name="fmt"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_STDtsFLiEei-ps2IrsePSA" name="aoDest"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_VOiAUFLiEei-ps2IrsePSA" name="waitResponseTime"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_XNJpIFLiEei-ps2IrsePSA" name="interCmdTime"/>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_GU3IQFLgEei-ps2IrsePSA" name="evCmd" signal="_GLfw4FLgEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_SfaSMFLjEei-ps2IrsePSA" name="evURC"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_SqAYoFLjEei-ps2IrsePSA" name="evURC" signal="_SfaSMFLjEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="__-EogFLjEei-ps2IrsePSA" name="evToutWaitResponse"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_AIDq8FLkEei-ps2IrsePSA" name="evToutWaitResponse" signal="__-EogFLjEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_lyEjwFLlEei-ps2IrsePSA" name="evResponse">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_o5bg0FLmEei-ps2IrsePSA" name="fwdEvt"/>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_l6ijQFLlEei-ps2IrsePSA" name="evResponse" signal="_lyEjwFLlEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_D7_SwFLoEei-ps2IrsePSA" name="evToutInterCommandTime"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_EDqoEFLoEei-ps2IrsePSA" name="evToutInterCommandTime" signal="_D7_SwFLoEei-ps2IrsePSA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="__T8S0FRWEeiBd_DXg33BBQ" name="evSync"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="__gruUFRWEeiBd_DXg33BBQ" name="evSync" signal="__T8S0FRWEeiBd_DXg33BBQ"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_YnR_UFRXEeiBd_DXg33BBQ" name="evDelay" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_YnR_UVRXEeiBd_DXg33BBQ">
          <expr xmi:type="uml:LiteralString" xmi:id="_jZrx8FRXEeiBd_DXg33BBQ" value="SYNC_DELAY_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_DbUvcFirEeiQLo5rqCRH8w" name="evSimError" signal="_NZKNwFj8EeiniPlogmuNzQ"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_1d8ZIFirEeiQLo5rqCRH8w" name="evSimPin" signal="_Q7OmUFj8EeiniPlogmuNzQ"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_gqE2sFitEeiQLo5rqCRH8w" name="evSimReady" signal="_U5S-YFj8EeiniPlogmuNzQ"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_B9uosFiuEeiQLo5rqCRH8w" name="evNoReg" signal="_ZnhBAFj8EeiniPlogmuNzQ"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_RxQy4FiuEeiQLo5rqCRH8w" name="evReg" signal="_b4haUFj8EeiniPlogmuNzQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_9eeu0FiwEeiQLo5rqCRH8w" name="evNoResponse"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_9rJ44FiwEeiQLo5rqCRH8w" name="evNoResponse" signal="_9eeu0FiwEeiQLo5rqCRH8w"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_NZKNwFj8EeiniPlogmuNzQ" name="evSimError"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_Q7OmUFj8EeiniPlogmuNzQ" name="evSimPin"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_U5S-YFj8EeiniPlogmuNzQ" name="evSimReady"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_ZnhBAFj8EeiniPlogmuNzQ" name="evNoReg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_b4haUFj8EeiniPlogmuNzQ" name="evReg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_b6zZMFlzEeioMqgkRul4rQ" name="evOk"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_cCsw8FlzEeioMqgkRul4rQ" name="evOk" signal="_b6zZMFlzEeioMqgkRul4rQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_Hr5acFl0EeioMqgkRul4rQ" name="evError"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_H0brYFl0EeioMqgkRul4rQ" name="evError" signal="_Hr5acFl0EeioMqgkRul4rQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_RdkG0FmKEeiFFviyqWdp8w" name="evIPStart"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_R8vWIFmKEeiFFviyqWdp8w" name="evIPStart" signal="_RdkG0FmKEeiFFviyqWdp8w"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_dOzDwFmLEeiFFviyqWdp8w" name="evConnected"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_dWhcYFmLEeiFFviyqWdp8w" name="evConnected" signal="_dOzDwFmLEeiFFviyqWdp8w"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_oSdmAFq-EeiA69UjQR0RyA" name="evIPInitial"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_oe9w8Fq-EeiA69UjQR0RyA" name="evIPInitial" signal="_oSdmAFq-EeiA69UjQR0RyA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_0KxQwFq-EeiA69UjQR0RyA" name="evIPGprsAct"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_0RVLwFq-EeiA69UjQR0RyA" name="evIPGprsAct" signal="_0KxQwFq-EeiA69UjQR0RyA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_DP2egFz5EeildqcvJZY8yg" name="evIPStatus"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_DXAPYFz5EeildqcvJZY8yg" name="evIPStatus" signal="_DP2egFz5EeildqcvJZY8yg"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_GkzLoFz6EeildqcvJZY8yg" name="evDisconnected" signal="_XAkg4F0CEeildqcvJZY8yg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_GKR5MF0CEeildqcvJZY8yg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_XAkg4F0CEeildqcvJZY8yg" name="evDisconnected"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_EgYq0F7REeiYcaQ4qYJ6pg" name="evNetConnected"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_SDwwQF7REeiYcaQ4qYJ6pg" name="evSendPacket"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_Jjv6YF76EeiYcaQ4qYJ6pg" name="evSentPacket"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_EYBm8F77EeiYcaQ4qYJ6pg" name="evRcvPacket">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_EYBm8V77EeiYcaQ4qYJ6pg" name="packet" type="_nUzsAF7REeiYcaQ4qYJ6pg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_btVrEF78EeiYcaQ4qYJ6pg" name="evNetConnected" signal="_EgYq0F7REeiYcaQ4qYJ6pg"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_JQ9Z4F79EeiYcaQ4qYJ6pg" name="evSentPacket" signal="_Jjv6YF76EeiYcaQ4qYJ6pg"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_iK1dgF79EeiYcaQ4qYJ6pg" name="evRcvPacket" signal="_EYBm8F77EeiYcaQ4qYJ6pg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_KzqbYF8AEeiYcaQ4qYJ6pg" name="evSendFail"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_LEaNIF8AEeiYcaQ4qYJ6pg" name="evSendFail" signal="_KzqbYF8AEeiYcaQ4qYJ6pg"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_Z9eTIF8AEeiYcaQ4qYJ6pg" name="SendingConnectTout" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_Z9eTIV8AEeiYcaQ4qYJ6pg">
          <expr xmi:type="uml:LiteralString" xmi:id="_Z9eTIl8AEeiYcaQ4qYJ6pg" value="SEND_CONNECT_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_s4fysF8AEeiYcaQ4qYJ6pg" name="evConnectTime" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_s4fysV8AEeiYcaQ4qYJ6pg">
          <expr xmi:type="uml:LiteralString" xmi:id="_s4fysl8AEeiYcaQ4qYJ6pg" value="CONNECT_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_mz_MkF9CEeiYcaQ4qYJ6pg" name="evPublish" signal="_vMWlsF9CEeiYcaQ4qYJ6pg"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_vMWlsF9CEeiYcaQ4qYJ6pg" name="evPublish"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_CtP1oF9HEeiYcaQ4qYJ6pg" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_CtP1oV9HEeiYcaQ4qYJ6pg">
          <expr xmi:type="uml:LiteralString" xmi:id="_CtP1ol9HEeiYcaQ4qYJ6pg" value="WAIT_ACK_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_lIVe4F9JEeiYcaQ4qYJ6pg" name="evSendPublish" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_lIVe4V9JEeiYcaQ4qYJ6pg" name="evSendPublish">
          <expr xmi:type="uml:LiteralString" xmi:id="_lIVe4l9JEeiYcaQ4qYJ6pg" value="PUBLISH_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_0CzXQGGzEeiiAe1I9uyWIQ" name="evConnRefused">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_0CzXQWGzEeiiAe1I9uyWIQ" name="code">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_0S0JMGGzEeiiAe1I9uyWIQ" name="evConnRefused" signal="_0CzXQGGzEeiiAe1I9uyWIQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="__2XE4GGzEeiiAe1I9uyWIQ" name="evNetDisconnected"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_ACYHoGG0EeiiAe1I9uyWIQ" name="evNetDisconnected" signal="__2XE4GGzEeiiAe1I9uyWIQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_Xvz7YGG2EeiiAe1I9uyWIQ" name="evConnAccepted"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_X6TUIGG2EeiiAe1I9uyWIQ" name="evConnAccepted" signal="_Xvz7YGG2EeiiAe1I9uyWIQ"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_VDvtsGWbEeiax4a4nV9STA" name="evSyncTout" isRelative="true">
        <when xmi:type="uml:TimeExpression" xmi:id="_VDvtsWWbEeiax4a4nV9STA">
          <expr xmi:type="uml:LiteralString" xmi:id="_VDvtsmWbEeiax4a4nV9STA" value="SYNC_TIME"/>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_5H_YAGWbEeiax4a4nV9STA" name="evUnlocked"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_5PYZcGWbEeiax4a4nV9STA" name="evUnlocked" signal="_5H_YAGWbEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_F7m0cGWcEeiax4a4nV9STA" name="evReceived">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_vmw8wGXEEeiax4a4nV9STA" name="buf">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_0b9xIGXEEeiax4a4nV9STA" name="size">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_GCkYEGWcEeiax4a4nV9STA" name="evReceived" signal="_F7m0cGWcEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_oG6xwGWdEeiax4a4nV9STA" name="evRecvFail"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_oNrhEGWdEeiax4a4nV9STA" name="evRecvFail" signal="_oG6xwGWdEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_PCBpkGWgEeiax4a4nV9STA" name="evSentFail"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_PJlDEGWgEeiax4a4nV9STA" name="evSentFail" signal="_PCBpkGWgEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_0iYskGWgEeiax4a4nV9STA" name="evSent">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_EcnKQGXFEeiax4a4nV9STA" name="buf">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_GI4e0GXFEeiax4a4nV9STA" name="size">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_0oZN8GWgEeiax4a4nV9STA" name="evSent" signal="_0iYskGWgEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_K4x_cGWkEeiax4a4nV9STA" name="evActivate"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_LA2WUGWkEeiax4a4nV9STA" name="evActivate" signal="_K4x_cGWkEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_SbF6UGWkEeiax4a4nV9STA" name="evDeactivate"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_SncUQGWkEeiax4a4nV9STA" name="evDeactivate" signal="_SbF6UGWkEeiax4a4nV9STA"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_5aSgkGWpEeiax4a4nV9STA" name="evActivate"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_-RU3QGXFEeiax4a4nV9STA" name="evRecv">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_-RU3QWXFEeiax4a4nV9STA" name="buf">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_-RU3QmXFEeiax4a4nV9STA" name="size">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_mZlwoGXGEeiax4a4nV9STA" name="evSend">
        <ownedAttribute xmi:type="uml:Property" xmi:id="_mZlwoWXGEeiax4a4nV9STA" name="buf">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_mZlwomXGEeiax4a4nV9STA" name="size">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
        </ownedAttribute>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:StateMachine" xmi:id="_i1rp0FRTEeiBd_DXg33BBQ" name="ConMgr">
      <ownedRule xmi:type="uml:Constraint" xmi:id="_yA2HgFioEeiQLo5rqCRH8w">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_0CRzwFioEeiQLo5rqCRH8w">
          <language>C</language>
          <body>else</body>
        </specification>
      </ownedRule>
      <region xmi:type="uml:Region" xmi:id="_kOIqgFRTEeiBd_DXg33BBQ" name="Region1">
        <transition xmi:type="uml:Transition" xmi:id="_0NV5MFRTEeiBd_DXg33BBQ" source="_wul6YFRTEeiBd_DXg33BBQ" target="_ohc50FRTEeiBd_DXg33BBQ"/>
        <transition xmi:type="uml:Transition" xmi:id="_5tMNEFRTEeiBd_DXg33BBQ" source="_ohc50FRTEeiBd_DXg33BBQ" target="_uCMlkFRTEeiBd_DXg33BBQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_IIh1QFRUEeiBd_DXg33BBQ" event="_KXEO4FLfEei-ps2IrsePSA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_7fUSAFRTEeiBd_DXg33BBQ" source="_uCMlkFRTEeiBd_DXg33BBQ" target="_ohc50FRTEeiBd_DXg33BBQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_KR9m8FRUEeiBd_DXg33BBQ" event="_rO3LUFLfEei-ps2IrsePSA"/>
        </transition>
        <subvertex xmi:type="uml:State" xmi:id="_ohc50FRTEeiBd_DXg33BBQ" name="inactive"/>
        <subvertex xmi:type="uml:State" xmi:id="_uCMlkFRTEeiBd_DXg33BBQ" name="active">
          <region xmi:type="uml:Region" xmi:id="_oXepAlRUEeiBd_DXg33BBQ" name="Region1">
            <transition xmi:type="uml:Transition" xmi:id="_wWef4FRUEeiBd_DXg33BBQ" source="_vp674FRUEeiBd_DXg33BBQ" target="_oXkIkFRUEeiBd_DXg33BBQ"/>
            <transition xmi:type="uml:Transition" xmi:id="_OliBQFivEeiQLo5rqCRH8w" source="_tuf50FiuEeiQLo5rqCRH8w" target="_JgDVMFivEeiQLo5rqCRH8w">
              <trigger xmi:type="uml:Trigger" xmi:id="_T6J8kFivEeiQLo5rqCRH8w" event="_B9uosFiuEeiQLo5rqCRH8w"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_PQ7usFivEeiQLo5rqCRH8w" source="_JgDVMFivEeiQLo5rqCRH8w" target="_tuf50FiuEeiQLo5rqCRH8w">
              <trigger xmi:type="uml:Trigger" xmi:id="_Qov2MFivEeiQLo5rqCRH8w" event="_RxQy4FiuEeiQLo5rqCRH8w"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_d7ErEFizEeiQLo5rqCRH8w" source="_oXkIkFRUEeiBd_DXg33BBQ" target="_tuf50FiuEeiQLo5rqCRH8w"/>
            <subvertex xmi:type="uml:State" xmi:id="_oXkIkFRUEeiBd_DXg33BBQ" name="initialize">
              <region xmi:type="uml:Region" xmi:id="_YZ1EEFRVEeiBd_DXg33BBQ" name="Region1">
                <transition xmi:type="uml:Transition" xmi:id="_fYoCMFRVEeiBd_DXg33BBQ" source="_d67VIFRVEeiBd_DXg33BBQ" target="_YZ4HYFRVEeiBd_DXg33BBQ"/>
                <transition xmi:type="uml:Transition" xmi:id="_w2tNMFRWEeiBd_DXg33BBQ" source="_YZ4HYFRVEeiBd_DXg33BBQ" target="_BjyCIFlzEeioMqgkRul4rQ">
                  <trigger xmi:type="uml:Trigger" xmi:id="__rXUUFRWEeiBd_DXg33BBQ" name="evSync" event="__gruUFRWEeiBd_DXg33BBQ"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_JKS2sFimEeiQLo5rqCRH8w" source="_YZ4HYFRVEeiBd_DXg33BBQ" target="_1Z3ZIFilEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_OTRisFimEeiQLo5rqCRH8w" name="evNoResponse" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_DdZI0FinEeiQLo5rqCRH8w" guard="_6qlvEFipEeiQLo5rqCRH8w" source="_1Z3ZIFilEeiQLo5rqCRH8w" target="_YZ4HYFRVEeiBd_DXg33BBQ">
                  <ownedRule xmi:type="uml:Constraint" xmi:id="_6qlvEFipEeiQLo5rqCRH8w">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_IOR9kFiqEeiQLo5rqCRH8w">
                      <language>C</language>
                      <body>syncRetryCount &lt; MAX_SYNC_RETRY</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_m-PgQFipEeiQLo5rqCRH8w" guard="_rtXh0FipEeiQLo5rqCRH8w" source="_1Z3ZIFilEeiQLo5rqCRH8w" target="_1HrngFimEeiQLo5rqCRH8w">
                  <ownedRule xmi:type="uml:Constraint" xmi:id="_rtXh0FipEeiQLo5rqCRH8w">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_vGZ6MFipEeiQLo5rqCRH8w" name="else">
                      <language>C</language>
                      <body>else</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_wiV3QFiqEeiQLo5rqCRH8w" source="_Bd0PAFitEeiQLo5rqCRH8w" target="_1HrngFimEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_DkFp4FirEeiQLo5rqCRH8w" name="evSimError" event="_DbUvcFirEeiQLo5rqCRH8w"/>
                  <trigger xmi:type="uml:Trigger" xmi:id="_UOjQ4Fj_EeiniPlogmuNzQ" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_NPNZcFitEeiQLo5rqCRH8w" source="_Bd0PAFitEeiQLo5rqCRH8w" target="_k7W-QFl0EeioMqgkRul4rQ">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_XFuLkFitEeiQLo5rqCRH8w">
                    <language>C</language>
                    <body>setPin();</body>
                  </effect>
                  <trigger xmi:type="uml:Trigger" xmi:id="_SZu9kFitEeiQLo5rqCRH8w" name="evSimPin" event="_1d8ZIFirEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_WGQAoFlzEeioMqgkRul4rQ" source="_BjyCIFlzEeioMqgkRul4rQ" target="_Bd0PAFitEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_cL8zkFlzEeioMqgkRul4rQ" name="evOk" event="_cCsw8FlzEeioMqgkRul4rQ"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_Axz9MFl0EeioMqgkRul4rQ" source="_BjyCIFlzEeioMqgkRul4rQ" target="_1HrngFimEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_J-mc4Fl0EeioMqgkRul4rQ" name="evNoResponse" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_1a0aUFl0EeioMqgkRul4rQ" source="_k7W-QFl0EeioMqgkRul4rQ" target="_1HrngFimEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_3egJUFl0EeioMqgkRul4rQ" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_4k4ikFl0EeioMqgkRul4rQ" source="_k7W-QFl0EeioMqgkRul4rQ" target="_Bd0PAFitEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_6hs0kFl0EeioMqgkRul4rQ" event="_gqE2sFitEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_TTZ2IFqSEeiA69UjQR0RyA" source="_Bd0PAFitEeiQLo5rqCRH8w" target="_DJsnoFqSEeiA69UjQR0RyA">
                  <trigger xmi:type="uml:Trigger" xmi:id="_kkm4MFqSEeiA69UjQR0RyA" event="_gqE2sFitEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_uQWkwFqSEeiA69UjQR0RyA" source="_DJsnoFqSEeiA69UjQR0RyA" target="_1HrngFimEeiQLo5rqCRH8w">
                  <trigger xmi:type="uml:Trigger" xmi:id="_vtvIwFqSEeiA69UjQR0RyA" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                </transition>
                <transition xmi:type="uml:Transition" xmi:id="_8oTsUFqTEeiA69UjQR0RyA" source="_DJsnoFqSEeiA69UjQR0RyA" target="_mX_E4FqTEeiA69UjQR0RyA">
                  <trigger xmi:type="uml:Trigger" xmi:id="_B_Gx4FqUEeiA69UjQR0RyA" event="_RxQy4FiuEeiQLo5rqCRH8w"/>
                </transition>
                <subvertex xmi:type="uml:State" xmi:id="_YZ4HYFRVEeiBd_DXg33BBQ" name="sync">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_hw8H8FRWEeiBd_DXg33BBQ">
                    <language>C</language>
                    <body>sendSync();</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_d67VIFRVEeiBd_DXg33BBQ" name=""/>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_1Z3ZIFilEeiQLo5rqCRH8w" name="" kind="junction"/>
                <subvertex xmi:type="uml:State" xmi:id="_1HrngFimEeiQLo5rqCRH8w" name="initError"/>
                <subvertex xmi:type="uml:State" xmi:id="_Bd0PAFitEeiQLo5rqCRH8w" name="pin">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_HiREwFitEeiQLo5rqCRH8w" name="checkPin();">
                    <language>C</language>
                    <body>checkPin();</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_BjyCIFlzEeioMqgkRul4rQ" name="init">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_P6sdUFlzEeioMqgkRul4rQ">
                    <language>C</language>
                    <body>sendInitString();</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_k7W-QFl0EeioMqgkRul4rQ" name="setPin"/>
                <subvertex xmi:type="uml:State" xmi:id="_DJsnoFqSEeiA69UjQR0RyA" name="waiReg">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_n5izsFqSEeiA69UjQR0RyA">
                    <language>C</language>
                    <body>checkReg();</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:FinalState" xmi:id="_mX_E4FqTEeiA69UjQR0RyA" name=""/>
              </region>
            </subvertex>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_vp674FRUEeiBd_DXg33BBQ" name=""/>
            <subvertex xmi:type="uml:State" xmi:id="_tuf50FiuEeiQLo5rqCRH8w" name="registered">
              <region xmi:type="uml:Region" xmi:id="_4UdL4liuEeiQLo5rqCRH8w" name="Region1">
                <transition xmi:type="uml:Transition" xmi:id="_Ow-C8Fi0EeiQLo5rqCRH8w" source="_BJx0gFi0EeiQLo5rqCRH8w" target="_6a4F0FiuEeiQLo5rqCRH8w"/>
                <transition xmi:type="uml:Transition" xmi:id="_nFlWQFz6EeildqcvJZY8yg" source="_6a4F0FiuEeiQLo5rqCRH8w" target="_4UfoIFiuEeiQLo5rqCRH8w"/>
                <subvertex xmi:type="uml:State" xmi:id="_4UfoIFiuEeiQLo5rqCRH8w" name="connect">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_oeFLgF0AEeildqcvJZY8yg">
                    <language>C</language>
                    <body>startConnection();</body>
                  </entry>
                  <region xmi:type="uml:Region" xmi:id="_k7XjUlmKEeiFFviyqWdp8w" name="Region1">
                    <transition xmi:type="uml:Transition" xmi:id="_EFQMcFmLEeiFFviyqWdp8w" source="_zjTnoFmLEeiFFviyqWdp8w" target="__45gwFmKEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_ddfAAFmLEeiFFviyqWdp8w" event="_dWhcYFmLEeiFFviyqWdp8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_Q5bCgFmLEeiFFviyqWdp8w" source="_zjTnoFmLEeiFFviyqWdp8w" target="_LcAXkFmLEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_SafzsFmLEeiFFviyqWdp8w" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_oS2QEFz5EeildqcvJZY8yg" source="__45gwFmKEeiFFviyqWdp8w" target="_zjTnoFmLEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_I43gAFz6EeildqcvJZY8yg" name="evDisconnected" event="_GkzLoFz6EeildqcvJZY8yg"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_rOhXAFz5EeildqcvJZY8yg" kind="internal" source="__45gwFmKEeiFFviyqWdp8w" target="__45gwFmKEeiFFviyqWdp8w">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_06mawFz5EeildqcvJZY8yg">
                        <language>C</language>
                        <body>socketClose();</body>
                      </effect>
                      <trigger xmi:type="uml:Trigger" xmi:id="_wEzwgFz5EeildqcvJZY8yg" event="_rO3LUFLfEei-ps2IrsePSA"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_bULkwFz6EeildqcvJZY8yg" source="__45gwFmKEeiFFviyqWdp8w" target="_LcAXkFmLEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_cTE18Fz6EeildqcvJZY8yg" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_G0di0Fz7EeildqcvJZY8yg" source="_5mBNcFmKEeiFFviyqWdp8w" target="_zjTnoFmLEeiFFviyqWdp8w"/>
                    <transition xmi:type="uml:Transition" xmi:id="_Mkj5MFz7EeildqcvJZY8yg" kind="internal" source="_zjTnoFmLEeiFFviyqWdp8w" target="_zjTnoFmLEeiFFviyqWdp8w">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_QPZzQFz7EeildqcvJZY8yg">
                        <language>C</language>
                        <body>socketOpen();</body>
                      </effect>
                      <trigger xmi:type="uml:Trigger" xmi:id="_OQ9JkFz7EeildqcvJZY8yg" event="_KXEO4FLfEei-ps2IrsePSA"/>
                    </transition>
                    <subvertex xmi:type="uml:Pseudostate" xmi:id="_5mBNcFmKEeiFFviyqWdp8w" name=""/>
                    <subvertex xmi:type="uml:State" xmi:id="__45gwFmKEeiFFviyqWdp8w" name="connected"/>
                    <subvertex xmi:type="uml:State" xmi:id="_LcAXkFmLEeiFFviyqWdp8w" name="connectError"/>
                    <subvertex xmi:type="uml:State" xmi:id="_zjTnoFmLEeiFFviyqWdp8w" name="disconnected"/>
                  </region>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_6a4F0FiuEeiQLo5rqCRH8w" name="configure">
                  <region xmi:type="uml:Region" xmi:id="_v9DPcVmHEeiFFviyqWdp8w" name="Region1">
                    <transition xmi:type="uml:Transition" xmi:id="_4LIEIFmHEeiFFviyqWdp8w" source="_2j2kUFmHEeiFFviyqWdp8w" target="_v9QDwFmHEeiFFviyqWdp8w"/>
                    <transition xmi:type="uml:Transition" xmi:id="_P46vIFmIEeiFFviyqWdp8w" source="_v9QDwFmHEeiFFviyqWdp8w" target="_uEjAQFmIEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_Tqkb0FmIEeiFFviyqWdp8w" event="_cCsw8FlzEeioMqgkRul4rQ"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_DaMIIFmJEeiFFviyqWdp8w" source="_uEjAQFmIEeiFFviyqWdp8w" target="_NXDPUFmIEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_E_4TkFmJEeiFFviyqWdp8w" event="_cCsw8FlzEeioMqgkRul4rQ"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_UcZE4FmJEeiFFviyqWdp8w" source="_v9QDwFmHEeiFFviyqWdp8w" target="_MaH3kFmJEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_V8x5kFmJEeiFFviyqWdp8w" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_lBaWYFmJEeiFFviyqWdp8w" source="_uEjAQFmIEeiFFviyqWdp8w" target="_MaH3kFmJEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_mavg0FmJEeiFFviyqWdp8w" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_xttp4FmJEeiFFviyqWdp8w" source="_NXDPUFmIEeiFFviyqWdp8w" target="_NXDPUFmIEeiFFviyqWdp8w">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_i0ut0FrFEeiA69UjQR0RyA">
                        <language>C</language>
                        <body>requestIP();</body>
                      </effect>
                      <trigger xmi:type="uml:Trigger" xmi:id="_gEJckFrFEeiA69UjQR0RyA" event="_0RVLwFq-EeiA69UjQR0RyA"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_43GHYFmJEeiFFviyqWdp8w" source="_NXDPUFmIEeiFFviyqWdp8w" target="_MaH3kFmJEeiFFviyqWdp8w">
                      <trigger xmi:type="uml:Trigger" xmi:id="_6K__QFmJEeiFFviyqWdp8w" event="_9rJ44FiwEeiQLo5rqCRH8w"/>
                    </transition>
                    <transition xmi:type="uml:Transition" xmi:id="_DxMy4FqaEeiA69UjQR0RyA" source="_NXDPUFmIEeiFFviyqWdp8w" target="_r6Qy8FqZEeiA69UjQR0RyA">
                      <trigger xmi:type="uml:Trigger" xmi:id="_DhsccFz5EeildqcvJZY8yg" name="evIPStatus" event="_DXAPYFz5EeildqcvJZY8yg"/>
                    </transition>
                    <subvertex xmi:type="uml:State" xmi:id="_v9QDwFmHEeiFFviyqWdp8w" name="setAPN">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_CQ1v4FmIEeiFFviyqWdp8w">
                        <language>C</language>
                        <body>setupAPN</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:Pseudostate" xmi:id="_2j2kUFmHEeiFFviyqWdp8w" name=""/>
                    <subvertex xmi:type="uml:State" xmi:id="_NXDPUFmIEeiFFviyqWdp8w" name="checkIP">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_qOOO8FmIEeiFFviyqWdp8w">
                        <language>C</language>
                        <body>getConnStatus();</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_uEjAQFmIEeiFFviyqWdp8w" name="enableGPRS">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_5z90wFmIEeiFFviyqWdp8w">
                        <language>C</language>
                        <body>startGPRS();</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_MaH3kFmJEeiFFviyqWdp8w" name="configureError"/>
                    <subvertex xmi:type="uml:FinalState" xmi:id="_r6Qy8FqZEeiA69UjQR0RyA" name=""/>
                  </region>
                </subvertex>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_BJx0gFi0EeiQLo5rqCRH8w"/>
              </region>
            </subvertex>
            <subvertex xmi:type="uml:State" xmi:id="_JgDVMFivEeiQLo5rqCRH8w" name="unregistered"/>
          </region>
        </subvertex>
        <subvertex xmi:type="uml:Pseudostate" xmi:id="_wul6YFRTEeiBd_DXg33BBQ"/>
      </region>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_JhWSAF7LEeiYcaQ4qYJ6pg" name="Sequences">
      <packagedElement xmi:type="uml:Interaction" xmi:id="_6kx0YGXCEeiax4a4nV9STA" name="Interaction1">
        <lifeline xmi:type="uml:Lifeline" xmi:id="_8xQTAGXCEeiax4a4nV9STA" name="conMgr" coveredBy="_bbWvMGXLEeiax4a4nV9STA _O5ToEGXEEeiax4a4nV9STA _LJfR8GXFEeiax4a4nV9STA _c-OpcGXGEeiax4a4nV9STA _nqKAoGXGEeiax4a4nV9STA"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_WGvUkGXDEeiax4a4nV9STA" name="mqtt" coveredBy="_bbYkYGXLEeiax4a4nV9STA _O5SZ8GXEEeiax4a4nV9STA _LJf5AGXFEeiax4a4nV9STA _c-OCYGXGEeiax4a4nV9STA _nqLOwGXGEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bbWvMGXLEeiax4a4nV9STA" name="Message18SendEvent" covered="_8xQTAGXCEeiax4a4nV9STA" message="_bbUS8GXLEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bbYkYGXLEeiax4a4nV9STA" name="Message18ReceiveEvent" covered="_WGvUkGXDEeiax4a4nV9STA" message="_bbUS8GXLEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_O5SZ8GXEEeiax4a4nV9STA" name="Message12SendEvent" covered="_WGvUkGXDEeiax4a4nV9STA" message="_O5RL0GXEEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_O5ToEGXEEeiax4a4nV9STA" name="Message12ReceiveEvent" covered="_8xQTAGXCEeiax4a4nV9STA" message="_O5RL0GXEEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LJfR8GXFEeiax4a4nV9STA" name="Message15SendEvent" covered="_8xQTAGXCEeiax4a4nV9STA" message="_LJdcwGXFEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LJf5AGXFEeiax4a4nV9STA" name="Message15ReceiveEvent" covered="_WGvUkGXDEeiax4a4nV9STA" message="_LJdcwGXFEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_c-OCYGXGEeiax4a4nV9STA" name="Message18SendEvent" covered="_WGvUkGXDEeiax4a4nV9STA" message="_c-MNMGXGEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_c-OpcGXGEeiax4a4nV9STA" name="Message18ReceiveEvent" covered="_8xQTAGXCEeiax4a4nV9STA" message="_c-MNMGXGEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_nqKAoGXGEeiax4a4nV9STA" name="Message21SendEvent" covered="_8xQTAGXCEeiax4a4nV9STA" message="_nqG9UGXGEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_nqLOwGXGEeiax4a4nV9STA" name="Message21ReceiveEvent" covered="_WGvUkGXDEeiax4a4nV9STA" message="_nqG9UGXGEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_9fhRwGXDEeiax4a4nV9STA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qRAOcGXDEeiax4a4nV9STA" name="Message9SendEvent" message="_qQ9LIGXDEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_qQ9LIGXDEeiax4a4nV9STA" name="Message9" messageSort="asynchSignal" sendEvent="_qRAOcGXDEeiax4a4nV9STA" signature="_K4x_cGWkEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_O5RL0GXEEeiax4a4nV9STA" name="Message12" messageSort="asynchSignal" receiveEvent="_O5ToEGXEEeiax4a4nV9STA" sendEvent="_O5SZ8GXEEeiax4a4nV9STA" signature="_-RU3QGXFEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_LJdcwGXFEeiax4a4nV9STA" name="Message15" messageSort="asynchSignal" receiveEvent="_LJf5AGXFEeiax4a4nV9STA" sendEvent="_LJfR8GXFEeiax4a4nV9STA" signature="_F7m0cGWcEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_c-MNMGXGEeiax4a4nV9STA" name="Message18" messageSort="asynchSignal" receiveEvent="_c-OpcGXGEeiax4a4nV9STA" sendEvent="_c-OCYGXGEeiax4a4nV9STA" signature="_mZlwoGXGEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_nqG9UGXGEeiax4a4nV9STA" name="Message21" messageSort="asynchSignal" receiveEvent="_nqLOwGXGEeiax4a4nV9STA" sendEvent="_nqKAoGXGEeiax4a4nV9STA" signature="_0iYskGWgEeiax4a4nV9STA"/>
        <message xmi:type="uml:Message" xmi:id="_bbUS8GXLEeiax4a4nV9STA" name="Message18" messageSort="asynchSignal" receiveEvent="_bbYkYGXLEeiax4a4nV9STA" sendEvent="_bbWvMGXLEeiax4a4nV9STA" signature="_EgYq0F7REeiYcaQ4qYJ6pg"/>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:StateMachine" xmi:id="_OGJY0GG-EeiiAe1I9uyWIQ" name="MQTT" visibility="public">
      <region xmi:type="uml:Region" xmi:id="_Pa_E0GG-EeiiAe1I9uyWIQ" name="Client">
        <transition xmi:type="uml:Transition" xmi:id="_kcUwoGG-EeiiAe1I9uyWIQ" source="_Yrr0IGG-EeiiAe1I9uyWIQ" target="_R2zzoGXHEeiax4a4nV9STA">
          <effect xmi:type="uml:OpaqueBehavior" xmi:id="_HeMX8GG_EeiiAe1I9uyWIQ">
            <language>C</language>
            <body>lock()</body>
          </effect>
          <trigger xmi:type="uml:Trigger" xmi:id="_qGhTUGG-EeiiAe1I9uyWIQ" event="_btVrEF78EeiYcaQ4qYJ6pg"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_roXgkGG-EeiiAe1I9uyWIQ" source="_aGXpcGG-EeiiAe1I9uyWIQ" target="_ex3vQGG-EeiiAe1I9uyWIQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_vdFIUGG-EeiiAe1I9uyWIQ" event="_X6TUIGG2EeiiAe1I9uyWIQ"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_4aa2wGG-EeiiAe1I9uyWIQ" source="_aGXpcGG-EeiiAe1I9uyWIQ" target="_g76k8GG-EeiiAe1I9uyWIQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_7SMVIGG-EeiiAe1I9uyWIQ" event="_0S0JMGGzEeiiAe1I9uyWIQ"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_vXeaIGG_EeiiAe1I9uyWIQ" source="_g76k8GG-EeiiAe1I9uyWIQ" target="_Yrr0IGG-EeiiAe1I9uyWIQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_wYaSsGG_EeiiAe1I9uyWIQ" event="_ACYHoGG0EeiiAe1I9uyWIQ"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_NE7ucGH1EeiiAe1I9uyWIQ" source="_Xl-JQGG-EeiiAe1I9uyWIQ" target="_Yrr0IGG-EeiiAe1I9uyWIQ">
          <effect xmi:type="uml:OpaqueBehavior" xmi:id="_SldXwGH1EeiiAe1I9uyWIQ">
            <language>C</language>
            <body>mqtt_init()</body>
          </effect>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_csxQkGXHEeiax4a4nV9STA" guard="_kVt-8GXHEeiax4a4nV9STA" source="_R2zzoGXHEeiax4a4nV9STA" target="_WewPIGXHEeiax4a4nV9STA">
          <ownedRule xmi:type="uml:Constraint" xmi:id="_kVt-8GXHEeiax4a4nV9STA">
            <specification xmi:type="uml:OpaqueExpression" xmi:id="_m8-VEGXHEeiax4a4nV9STA">
              <language>C</language>
              <body>isLocked()</body>
            </specification>
          </ownedRule>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_rK7jQGXHEeiax4a4nV9STA" source="_WewPIGXHEeiax4a4nV9STA" target="_aGXpcGG-EeiiAe1I9uyWIQ">
          <trigger xmi:type="uml:Trigger" xmi:id="_6mLJQGXHEeiax4a4nV9STA" event="_5PYZcGWbEeiax4a4nV9STA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_r_fzwGXHEeiax4a4nV9STA" guard="_uZZDUGXHEeiax4a4nV9STA" source="_R2zzoGXHEeiax4a4nV9STA" target="_aGXpcGG-EeiiAe1I9uyWIQ">
          <ownedRule xmi:type="uml:Constraint" xmi:id="_uZZDUGXHEeiax4a4nV9STA">
            <specification xmi:type="uml:OpaqueExpression" xmi:id="_wQrVEGXHEeiax4a4nV9STA">
              <language>C</language>
              <body>else</body>
            </specification>
          </ownedRule>
        </transition>
        <subvertex xmi:type="uml:Pseudostate" xmi:id="_Xl-JQGG-EeiiAe1I9uyWIQ" name="Initial1"/>
        <subvertex xmi:type="uml:State" xmi:id="_Yrr0IGG-EeiiAe1I9uyWIQ" name="Idle"/>
        <subvertex xmi:type="uml:State" xmi:id="_aGXpcGG-EeiiAe1I9uyWIQ" name="Connecting">
          <region xmi:type="uml:Region" xmi:id="_2Q-MEmHAEeiiAe1I9uyWIQ" name="Region1">
            <transition xmi:type="uml:Transition" xmi:id="_9XjsEGHzEeiiAe1I9uyWIQ" source="_xsKb8GHzEeiiAe1I9uyWIQ" target="_3RPOEGHzEeiiAe1I9uyWIQ">
              <trigger xmi:type="uml:Trigger" xmi:id="_c15iQGH0EeiiAe1I9uyWIQ" event="_ACYHoGG0EeiiAe1I9uyWIQ"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="__Vaf4GHzEeiiAe1I9uyWIQ" source="_3RPOEGHzEeiiAe1I9uyWIQ" target="_xsKb8GHzEeiiAe1I9uyWIQ">
              <trigger xmi:type="uml:Trigger" xmi:id="_e4HRoGH0EeiiAe1I9uyWIQ" event="_btVrEF78EeiYcaQ4qYJ6pg"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_Wmh18GH0EeiiAe1I9uyWIQ" source="_wpZ-cGHzEeiiAe1I9uyWIQ" target="_xsKb8GHzEeiiAe1I9uyWIQ">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_ivQskGXJEeiax4a4nV9STA">
                <language>C</language>
                <body>mqtt_connect(), unlock()</body>
              </effect>
            </transition>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_wpZ-cGHzEeiiAe1I9uyWIQ" name="Initial1"/>
            <subvertex xmi:type="uml:State" xmi:id="_xsKb8GHzEeiiAe1I9uyWIQ" name="AwaitingAck"/>
            <subvertex xmi:type="uml:State" xmi:id="_3RPOEGHzEeiiAe1I9uyWIQ" name="NetError0"/>
          </region>
        </subvertex>
        <subvertex xmi:type="uml:State" xmi:id="_ex3vQGG-EeiiAe1I9uyWIQ" name="Connected">
          <region xmi:type="uml:Region" xmi:id="_YlLRkmHAEeiiAe1I9uyWIQ" name="Region1">
            <transition xmi:type="uml:Transition" xmi:id="_w5BnMGKVEeimirxIbbmXNA" source="_uFuZIGKVEeimirxIbbmXNA" target="_m7XEMGKVEeimirxIbbmXNA">
              <trigger xmi:type="uml:Trigger" xmi:id="_26YssGKVEeimirxIbbmXNA" event="_btVrEF78EeiYcaQ4qYJ6pg"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_xhptcGKVEeimirxIbbmXNA" source="_m7XEMGKVEeimirxIbbmXNA" target="_uFuZIGKVEeimirxIbbmXNA">
              <trigger xmi:type="uml:Trigger" xmi:id="_4HvQoGKVEeimirxIbbmXNA" event="_ACYHoGG0EeiiAe1I9uyWIQ"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_yQl3EGKVEeimirxIbbmXNA" source="_q1FHwGKVEeimirxIbbmXNA" target="_m7XEMGKVEeimirxIbbmXNA"/>
            <transition xmi:type="uml:Transition" xmi:id="_5BKzAGKVEeimirxIbbmXNA" source="_m7XEMGKVEeimirxIbbmXNA" target="_A4bxgGXIEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_995ywGKVEeimirxIbbmXNA">
                <language>C</language>
                <body>lock()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_6WZgkGKVEeimirxIbbmXNA" name="evPublishTout" event="_lIVe4F9JEeiYcaQ4qYJ6pg"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_WIcLcGXIEeiax4a4nV9STA" guard="_ipZKkGXIEeiax4a4nV9STA" source="_A4bxgGXIEeiax4a4nV9STA" target="_NC7YcGXIEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_ipZKkGXIEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_lrQZEGXIEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isLocked()</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_pKPocGXIEeiax4a4nV9STA" guard="_6zL1EGXIEeiax4a4nV9STA" source="_A4bxgGXIEeiax4a4nV9STA" target="_m7XEMGKVEeimirxIbbmXNA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_6zL1EGXIEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_8clb0GXIEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_Naf5AGXKEeiax4a4nV9STA">
                <language>C</language>
                <body>mqtt_publish(), unlock()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_94Iz0GXIEeiax4a4nV9STA" source="_NC7YcGXIEeiax4a4nV9STA" target="_m7XEMGKVEeimirxIbbmXNA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_O9TvkGXKEeiax4a4nV9STA">
                <language>C</language>
                <body>mqtt_publish(), unlock()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_HAdqQGXJEeiax4a4nV9STA" event="_5PYZcGWbEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_fx0OkGXKEeiax4a4nV9STA" source="_NC7YcGXIEeiax4a4nV9STA" target="_uFuZIGKVEeimirxIbbmXNA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_myuskGXKEeiax4a4nV9STA">
                <language>C</language>
                <body>unlock()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_iCssEGXKEeiax4a4nV9STA" event="_ACYHoGG0EeiiAe1I9uyWIQ"/>
            </transition>
            <subvertex xmi:type="uml:State" xmi:id="_m7XEMGKVEeimirxIbbmXNA" name="WaitToPublish"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_q1FHwGKVEeimirxIbbmXNA" name="Initial2"/>
            <subvertex xmi:type="uml:State" xmi:id="_uFuZIGKVEeimirxIbbmXNA" name="NetError1"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_A4bxgGXIEeiax4a4nV9STA" name="C8" kind="choice"/>
            <subvertex xmi:type="uml:State" xmi:id="_NC7YcGXIEeiax4a4nV9STA" name="WaitForWrite1"/>
          </region>
        </subvertex>
        <subvertex xmi:type="uml:State" xmi:id="_g76k8GG-EeiiAe1I9uyWIQ" name="ConnRefused"/>
        <subvertex xmi:type="uml:Pseudostate" xmi:id="_R2zzoGXHEeiax4a4nV9STA" name="C11" kind="choice"/>
        <subvertex xmi:type="uml:State" xmi:id="_WewPIGXHEeiax4a4nV9STA" name="WaitForWrite0"/>
      </region>
      <region xmi:type="uml:Region" xmi:id="_3fZDgGWQEeiax4a4nV9STA" name="Sync">
        <transition xmi:type="uml:Transition" xmi:id="_oD2QoGWSEeiax4a4nV9STA" source="_nXzDYWWSEeiax4a4nV9STA" target="_dk6MkGWSEeiax4a4nV9STA"/>
        <transition xmi:type="uml:Transition" xmi:id="_0r6kYGWSEeiax4a4nV9STA" source="_dk6MkGWSEeiax4a4nV9STA" target="_kd7S0GWSEeiax4a4nV9STA">
          <trigger xmi:type="uml:Trigger" xmi:id="_LdsqYGWkEeiax4a4nV9STA" name="evActivate" event="_LA2WUGWkEeiax4a4nV9STA"/>
        </transition>
        <transition xmi:type="uml:Transition" xmi:id="_1yxewGWSEeiax4a4nV9STA" source="_kd7S0GWSEeiax4a4nV9STA" target="_dk6MkGWSEeiax4a4nV9STA">
          <trigger xmi:type="uml:Trigger" xmi:id="_S1R78GWkEeiax4a4nV9STA" name="evDeactivate" event="_SncUQGWkEeiax4a4nV9STA"/>
        </transition>
        <subvertex xmi:type="uml:State" xmi:id="_dk6MkGWSEeiax4a4nV9STA" name="Idle"/>
        <subvertex xmi:type="uml:State" xmi:id="_kd7S0GWSEeiax4a4nV9STA" name="Active">
          <region xmi:type="uml:Region" xmi:id="_KrjrgGWTEeiax4a4nV9STA" name="Region1">
            <transition xmi:type="uml:Transition" xmi:id="_dur-MGWTEeiax4a4nV9STA" source="_KrmHwGWTEeiax4a4nV9STA" target="_axxhIGWTEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_ZSvdsGWbEeiax4a4nV9STA">
                <language>C</language>
                <body>initRecvAll()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_VSmpEGWbEeiax4a4nV9STA" name="evSyncTout" event="_VDvtsGWbEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_mWAZUGWTEeiax4a4nV9STA" guard="_4QujkGXBEeiax4a4nV9STA" source="_axxhIGWTEeiax4a4nV9STA" target="_UgtLsGWTEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_4QujkGXBEeiax4a4nV9STA" name="else">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_5idRMGXBEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_uiRQIGWTEeiax4a4nV9STA" guard="_zXEF8GXBEeiax4a4nV9STA" source="_axxhIGWTEeiax4a4nV9STA" target="_WYsBAGWTEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_zXEF8GXBEeiax4a4nV9STA" name="isLocked">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_06hcwGXBEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isLocked()</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_WamQEGWUEeiax4a4nV9STA" source="_WYsBAGWTEeiax4a4nV9STA" target="_UgtLsGWTEeiax4a4nV9STA">
              <trigger xmi:type="uml:Trigger" xmi:id="_5as4oGWbEeiax4a4nV9STA" name="evUnlocked" event="_5PYZcGWbEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_pwTggGWUEeiax4a4nV9STA" source="_UgtLsGWTEeiax4a4nV9STA" target="_myY94GWUEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_Jj_3cGWcEeiax4a4nV9STA">
                <language>C</language>
                <body>parseRecv()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_GMyrEGWcEeiax4a4nV9STA" name="evReceived" event="_GCkYEGWcEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_3zK-UGWUEeiax4a4nV9STA" guard="_NqSXYGWcEeiax4a4nV9STA" source="_myY94GWUEeiax4a4nV9STA" target="_zoYY4GWUEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_NqSXYGWcEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_QAc9gGWcEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isConsumed()</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_F9cPMGWWEeiax4a4nV9STA" source="_UgtLsGWTEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_sTSrkGWdEeiax4a4nV9STA">
                <language>C</language>
                <body>recvFail()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_oUO1AGWdEeiax4a4nV9STA" name="evRecvFail" event="_oNrhEGWdEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_Hjni0GWWEeiax4a4nV9STA" source="_AYKBsGWWEeiax4a4nV9STA" target="_KrmHwGWTEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_87pk8GWdEeiax4a4nV9STA">
                <language>C</language>
                <body>unlock()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_cGM2EGWWEeiax4a4nV9STA" guard="_Wa0Y4GWcEeiax4a4nV9STA" source="_myY94GWUEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_Wa0Y4GWcEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_Z4ZTAGWcEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isUnpackError()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_gzjuUGWcEeiax4a4nV9STA">
                <language>C</language>
                <body>parseError()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_l7ybIGWWEeiax4a4nV9STA" source="_zoYY4GWUEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_vXeqwGWcEeiax4a4nV9STA">
                <language>C</language>
                <body>recvMsgError()&#xD;
&#xD;
</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_n5y_8GWWEeiax4a4nV9STA" guard="_887MwGWcEeiax4a4nV9STA" source="_myY94GWUEeiax4a4nV9STA" target="_-ixC0GWUEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_887MwGWcEeiax4a4nV9STA" name="else">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="__hvS4GWcEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_DYNOIGWdEeiax4a4nV9STA">
                <language>C</language>
                <body>noConsumed()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="__A6sgGWWEeiax4a4nV9STA" guard="_PRVYQGWdEeiax4a4nV9STA" source="_zoYY4GWUEeiax4a4nV9STA" target="_UgtLsGWTEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_PRVYQGWdEeiax4a4nV9STA" name="isNotError">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_RBj_wGWdEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isNotError()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_ZYbkEGWdEeiax4a4nV9STA">
                <language>C</language>
                <body>cleanBuf()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_SbJQkGWXEeiax4a4nV9STA" guard="_A0nakGWeEeiax4a4nV9STA" source="_-ixC0GWUEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_A0nakGWeEeiax4a4nV9STA" name="isRecvBufFull">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_E5oIIGWeEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isRecvBufFull()</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_cudokGWZEeiax4a4nV9STA" guard="_vgJUAGWbEeiax4a4nV9STA" source="_Zodg8GWZEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_vgJUAGWbEeiax4a4nV9STA" name="else">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_xdWnkGWbEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_dzk2gGWZEeiax4a4nV9STA" guard="_iV6HUGWbEeiax4a4nV9STA" source="_Juf-oGWZEeiax4a4nV9STA" target="_TWtPAGWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_iV6HUGWbEeiax4a4nV9STA" name="isLocked">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_lzeaYGWbEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isLocked()</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_eUqxYGWZEeiax4a4nV9STA" source="_-ixC0GWUEeiax4a4nV9STA" target="_Juf-oGWZEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_Oym_cGWeEeiax4a4nV9STA">
                <language>C</language>
                <body>unlock()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_eyQsUGWZEeiax4a4nV9STA" guard="_gZ3UwGXEEeiax4a4nV9STA" source="_Juf-oGWZEeiax4a4nV9STA" target="_Zodg8GWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_gZ3UwGXEEeiax4a4nV9STA" name="else">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_hvwwsGXEEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_i3itYGWeEeiax4a4nV9STA">
                <language>C</language>
                <body>initSendAll()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_jDzaAGWZEeiax4a4nV9STA" source="_TWtPAGWZEeiax4a4nV9STA" target="_Zodg8GWZEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_wfV_0GWeEeiax4a4nV9STA">
                <language>C</language>
                <body>initSendAll()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_sXlgQGWeEeiax4a4nV9STA" event="_5PYZcGWbEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_UE-NwGWaEeiax4a4nV9STA" guard="_733XQGWeEeiax4a4nV9STA" source="_Zodg8GWZEeiax4a4nV9STA" target="_1RGQ4GWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_733XQGWeEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_-iBQYGWeEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isInitOk()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_Bo-aQGWfEeiax4a4nV9STA">
                <language>C</language>
                <body>initSendOk()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_WlRAQGWaEeiax4a4nV9STA" guard="_vrENwGWfEeiax4a4nV9STA" source="_1RGQ4GWZEeiax4a4nV9STA" target="_5__B4GWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_vrENwGWfEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_x0szwGWfEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isThereMsg()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_1h4QIGWfEeiax4a4nV9STA">
                <language>C</language>
                <body>sendOneMsg()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_XPclsGWaEeiax4a4nV9STA" guard="_491ZoGWfEeiax4a4nV9STA" source="_5__B4GWZEeiax4a4nV9STA" target="_JWB-0GWaEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_491ZoGWfEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_6iRA0GWfEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_ZfR6UGWaEeiax4a4nV9STA" guard="_kX4CQGWfEeiax4a4nV9STA" source="_1RGQ4GWZEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_kX4CQGWfEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_l-QxQGWfEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_rn4FIGWfEeiax4a4nV9STA">
                <language>C</language>
                <body>endSendAll()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_lZYU0GWaEeiax4a4nV9STA" source="_JWB-0GWaEeiax4a4nV9STA" target="_h933QGWaEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_3XpCcGWgEeiax4a4nV9STA">
                <language>C</language>
                <body>setMsgState()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_0w30gGWgEeiax4a4nV9STA" name="evSent" event="_0oZN8GWgEeiax4a4nV9STA"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_nYZmQGWaEeiax4a4nV9STA" guard="_54PW8GWgEeiax4a4nV9STA" source="_h933QGWaEeiax4a4nV9STA" target="_1RGQ4GWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_54PW8GWgEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_9mvpAGWgEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isSetMsgStateOk()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_C_MUYGWhEeiax4a4nV9STA">
                <language>C</language>
                <body>nextSend()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_udgnwGWaEeiax4a4nV9STA" guard="_9ZMxsGWfEeiax4a4nV9STA" source="_5__B4GWZEeiax4a4nV9STA" target="_1RGQ4GWZEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_9ZMxsGWfEeiax4a4nV9STA">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_ABiF4GWgEeiax4a4nV9STA">
                  <language>C</language>
                  <body>isNotResend()</body>
                </specification>
              </ownedRule>
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_FhRsEGWgEeiax4a4nV9STA" name="nextSend">
                <language>C</language>
                <body>nextSend()</body>
              </effect>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_2pNd4GWaEeiax4a4nV9STA" source="_JWB-0GWaEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_uLLS4GWgEeiax4a4nV9STA">
                <language>C</language>
                <body>sendMsgFail()</body>
              </effect>
              <trigger xmi:type="uml:Trigger" xmi:id="_4NzuEGWjEeiax4a4nV9STA" event="_LEaNIF8AEeiYcaQ4qYJ6pg"/>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_57wzwGWaEeiax4a4nV9STA" guard="_HhqaAGWhEeiax4a4nV9STA" source="_h933QGWaEeiax4a4nV9STA" target="_AYKBsGWWEeiax4a4nV9STA">
              <ownedRule xmi:type="uml:Constraint" xmi:id="_HhqaAGWhEeiax4a4nV9STA" name="else">
                <specification xmi:type="uml:OpaqueExpression" xmi:id="_IzSZ8GWhEeiax4a4nV9STA">
                  <language>C</language>
                  <body>else</body>
                </specification>
              </ownedRule>
            </transition>
            <transition xmi:type="uml:Transition" xmi:id="_FHfFUGWbEeiax4a4nV9STA" source="_NmOs4GWTEeiax4a4nV9STA" target="_KrmHwGWTEeiax4a4nV9STA"/>
            <subvertex xmi:type="uml:State" xmi:id="_KrmHwGWTEeiax4a4nV9STA" name="WaitSync"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_NmOs4GWTEeiax4a4nV9STA" name="Initial2"/>
            <subvertex xmi:type="uml:State" xmi:id="_UgtLsGWTEeiax4a4nV9STA" name="Receiving">
              <entry xmi:type="uml:OpaqueBehavior" xmi:id="_aXpBgGWhEeiax4a4nV9STA">
                <language>C</language>
                <body>recvAll()</body>
              </entry>
            </subvertex>
            <subvertex xmi:type="uml:State" xmi:id="_WYsBAGWTEeiax4a4nV9STA" name="WaitRecvLock"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_axxhIGWTEeiax4a4nV9STA" name="C5" kind="choice"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_myY94GWUEeiax4a4nV9STA" name="C10" kind="choice"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_zoYY4GWUEeiax4a4nV9STA" name="C12" kind="choice"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_-ixC0GWUEeiax4a4nV9STA" name="C14" kind="choice"/>
            <subvertex xmi:type="uml:State" xmi:id="_AYKBsGWWEeiax4a4nV9STA" name="EndCycle"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_Juf-oGWZEeiax4a4nV9STA" name="C23" kind="choice"/>
            <subvertex xmi:type="uml:State" xmi:id="_TWtPAGWZEeiax4a4nV9STA" name="WaitSendLock"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_Zodg8GWZEeiax4a4nV9STA" name="C25" kind="choice"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_1RGQ4GWZEeiax4a4nV9STA" name="C31" kind="choice"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_5__B4GWZEeiax4a4nV9STA" name="C32" kind="choice"/>
            <subvertex xmi:type="uml:State" xmi:id="_JWB-0GWaEeiax4a4nV9STA" name="Sending"/>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_h933QGWaEeiax4a4nV9STA" name="C38" kind="choice"/>
          </region>
        </subvertex>
        <subvertex xmi:type="uml:Pseudostate" xmi:id="_nXzDYWWSEeiax4a4nV9STA" name="Initial3"/>
      </region>
    </packagedElement>
  </packagedElement>
  <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_4FlS8FhtEeiniPlogmuNzQ">
    <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_4FnvMFhtEeiniPlogmuNzQ" source="http://www.eclipse.org/uml2/2.0.0/UML">
      <references xmi:type="ecore:EPackage" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ"/>
    </eAnnotations>
    <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#ActionLanguage"/>
  </profileApplication>
</uml:Model>
