<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Blocks="http://www.eclipse.org/papyrus/sysml/1.6/SysML/Blocks" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/papyrus/sysml/1.6/SysML/Blocks http://www.eclipse.org/papyrus/sysml/1.6/SysML#//blocks">
  <uml:Model xmi:id="_pftIYFt2EeyXC-mTcr0tYw" name="test1">
    <packageImport xmi:type="uml:PackageImport" xmi:id="_pjVrMVt2EeyXC-mTcr0tYw">
      <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
    </packageImport>
    <packageImport xmi:type="uml:PackageImport" xmi:id="_pjn_EFt2EeyXC-mTcr0tYw">
      <importedPackage xmi:type="uml:Package" href="pathmap://SysML16_LIBRARIES/SysML-Standard-Library.uml#SysML.package_packagedElement_Libraries"/>
    </packageImport>
    <packagedElement xmi:type="uml:Package" xmi:id="_bMZwIFudEeyQqqhjavnEzg" name="Parking">
      <packagedElement xmi:type="uml:Actor" xmi:id="_sNR3MFudEeyQqqhjavnEzg" name="Trucks"/>
      <packagedElement xmi:type="uml:UseCase" xmi:id="_yP3EsFudEeyQqqhjavnEzg" name="park trucks" classifierBehavior="_yWPBwFwGEeyDdLy0fFYZOQ">
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_yWPBwFwGEeyDdLy0fFYZOQ" name="Activity3" node="_HZ0bYFwqEeyDdLy0fFYZOQ _NEeREFwqEeyDdLy0fFYZOQ _kt71sFwqEeyDdLy0fFYZOQ _J1k2sFwrEeyDdLy0fFYZOQ _BjUQIFwsEeyDdLy0fFYZOQ _EHdZIFwyEeyDdLy0fFYZOQ _OEUq4FwyEeyDdLy0fFYZOQ _r6wQoFxJEeyDdLy0fFYZOQ">
          <ownedBehavior xmi:type="uml:Activity" xmi:id="_HQZL4FwlEeyDdLy0fFYZOQ" name="Activity2"/>
          <ownedBehavior xmi:type="uml:Activity" xmi:id="_K1WOcFwnEeyDdLy0fFYZOQ" name="Activity3"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_ITo_UFwqEeyDdLy0fFYZOQ" name="OpaqueBehavior4"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_NoK0AFwqEeyDdLy0fFYZOQ" name="OpaqueBehavior6"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_R7m_IFwqEeyDdLy0fFYZOQ" name="OpaqueBehavior8"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_IoxsYFwrEeyDdLy0fFYZOQ" name="OpaqueBehavior10"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_KZ_yYFwrEeyDdLy0fFYZOQ" name="OpaqueBehavior12"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_EmBkcFwyEeyDdLy0fFYZOQ" name="OpaqueBehavior18"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_CCjrsFw-EeyDdLy0fFYZOQ" name="OpaqueBehavior26"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_FI-DAFw-EeyDdLy0fFYZOQ" name="OpaqueBehavior28"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_Imw_kFw-EeyDdLy0fFYZOQ" name="OpaqueBehavior30"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_NTLEUFw-EeyDdLy0fFYZOQ" name="OpaqueBehavior32"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_VfRFkFxKEeyDdLy0fFYZOQ" name="OpaqueBehavior31"/>
          <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_1h4GcFxKEeyDdLy0fFYZOQ" name="OpaqueBehavior32"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_IPpTUFwuEeyDdLy0fFYZOQ" name="Yes" target="_HZ0bYFwqEeyDdLy0fFYZOQ" source="_BjUQIFwsEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_Usre8FwyEeyDdLy0fFYZOQ" name="Yes" target="_EHdZIFwyEeyDdLy0fFYZOQ" source="_OEUq4FwyEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_aXP1EFwyEeyDdLy0fFYZOQ" name="No" target="_OEUq4FwyEeyDdLy0fFYZOQ" source="_OEUq4FwyEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_8G3KUFwyEeyDdLy0fFYZOQ" target="_NEeREFwqEeyDdLy0fFYZOQ" source="_kt71sFwqEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_-2YEkFwyEeyDdLy0fFYZOQ" target="_OEUq4FwyEeyDdLy0fFYZOQ" source="_NEeREFwqEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_xP-o4FxJEeyDdLy0fFYZOQ" name="yes" target="_kt71sFwqEeyDdLy0fFYZOQ" source="_r6wQoFxJEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_0koQgFxJEeyDdLy0fFYZOQ" target="_r6wQoFxJEeyDdLy0fFYZOQ" source="_HZ0bYFwqEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_3RAXMFxJEeyDdLy0fFYZOQ" name="no" target="_HZ0bYFwqEeyDdLy0fFYZOQ" source="_r6wQoFxJEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_7BfJwFxKEeyDdLy0fFYZOQ" target="_J1k2sFwrEeyDdLy0fFYZOQ" source="_EHdZIFwyEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_E11YsFxLEeyDdLy0fFYZOQ" name="no" target="_J1k2sFwrEeyDdLy0fFYZOQ" source="_BjUQIFwsEeyDdLy0fFYZOQ"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_NcyAYFxLEeyDdLy0fFYZOQ" target="_BjUQIFwsEeyDdLy0fFYZOQ" source="_J1k2sFwrEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_HZ0bYFwqEeyDdLy0fFYZOQ" name="searching parking spaces" incoming="_IPpTUFwuEeyDdLy0fFYZOQ _3RAXMFxJEeyDdLy0fFYZOQ" outgoing="_0koQgFxJEeyDdLy0fFYZOQ" behavior="_ITo_UFwqEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_NEeREFwqEeyDdLy0fFYZOQ" name="Park Trucks" incoming="_8G3KUFwyEeyDdLy0fFYZOQ" outgoing="_-2YEkFwyEeyDdLy0fFYZOQ" behavior="_NoK0AFwqEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_kt71sFwqEeyDdLy0fFYZOQ" name="Disengaging trucks" incoming="_xP-o4FxJEeyDdLy0fFYZOQ" outgoing="_8G3KUFwyEeyDdLy0fFYZOQ" behavior="_IoxsYFwrEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_J1k2sFwrEeyDdLy0fFYZOQ" name="keep driving" incoming="_7BfJwFxKEeyDdLy0fFYZOQ _E11YsFxLEeyDdLy0fFYZOQ" outgoing="_NcyAYFxLEeyDdLy0fFYZOQ" behavior="_KZ_yYFwrEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_BjUQIFwsEeyDdLy0fFYZOQ" name="Park?" incoming="_NcyAYFxLEeyDdLy0fFYZOQ" outgoing="_IPpTUFwuEeyDdLy0fFYZOQ _E11YsFxLEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:CallBehaviorAction" xmi:id="_EHdZIFwyEeyDdLy0fFYZOQ" name="Re-Engaging trucks" incoming="_Usre8FwyEeyDdLy0fFYZOQ" outgoing="_7BfJwFxKEeyDdLy0fFYZOQ" behavior="_EmBkcFwyEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_OEUq4FwyEeyDdLy0fFYZOQ" name="StartVehicles?" incoming="_-2YEkFwyEeyDdLy0fFYZOQ _aXP1EFwyEeyDdLy0fFYZOQ" outgoing="_Usre8FwyEeyDdLy0fFYZOQ _aXP1EFwyEeyDdLy0fFYZOQ"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_r6wQoFxJEeyDdLy0fFYZOQ" name="Found parking spaces?" incoming="_0koQgFxJEeyDdLy0fFYZOQ" outgoing="_xP-o4FxJEeyDdLy0fFYZOQ _3RAXMFxJEeyDdLy0fFYZOQ"/>
        </ownedBehavior>
        <include xmi:type="uml:Include" xmi:id="_xSBhMFxSEeyDdLy0fFYZOQ" addition="_aVs68FxIEeyDdLy0fFYZOQ"/>
        <include xmi:type="uml:Include" xmi:id="_zwu_UFxSEeyDdLy0fFYZOQ" addition="_rQ6isFv3EeyQqqhjavnEzg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:UseCase" xmi:id="_zeCvEFudEeyQqqhjavnEzg" name="trucks start driving from parking spaces" classifierBehavior="_Ve4fUFwvEeyDdLy0fFYZOQ">
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_Ve4fUFwvEeyDdLy0fFYZOQ" name="Activity5"/>
        <extensionPoint xmi:type="uml:ExtensionPoint" xmi:id="_4cj3gFudEeyQqqhjavnEzg" name="ExtensionPoint1"/>
        <extensionPoint xmi:type="uml:ExtensionPoint" xmi:id="_Hult8VvcEeyQqqhjavnEzg" name="ExtensionPoint2"/>
        <include xmi:type="uml:Include" xmi:id="_0Mt7QFxTEeyDdLy0fFYZOQ" addition="_nQlO4Fv5EeyQqqhjavnEzg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="_7CHkgFudEeyQqqhjavnEzg" memberEnd="_7CHkg1udEeyQqqhjavnEzg _7CHkhFudEeyQqqhjavnEzg">
        <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_7CHkgVudEeyQqqhjavnEzg" source="org.eclipse.papyrus">
          <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7CHkgludEeyQqqhjavnEzg" key="nature" value="UML_Nature"/>
        </eAnnotations>
        <ownedEnd xmi:type="uml:Property" xmi:id="_7CHkg1udEeyQqqhjavnEzg" name="trucks start driving" type="_zeCvEFudEeyQqqhjavnEzg" association="_7CHkgFudEeyQqqhjavnEzg"/>
        <ownedEnd xmi:type="uml:Property" xmi:id="_7CHkhFudEeyQqqhjavnEzg" name="trucks" type="_sNR3MFudEeyQqqhjavnEzg" association="_7CHkgFudEeyQqqhjavnEzg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="_XSedIFvdEeyQqqhjavnEzg" memberEnd="_XSedI1vdEeyQqqhjavnEzg _XSedJFvdEeyQqqhjavnEzg">
        <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_XSedIVvdEeyQqqhjavnEzg" source="org.eclipse.papyrus">
          <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_XSedIlvdEeyQqqhjavnEzg" key="nature" value="UML_Nature"/>
        </eAnnotations>
        <ownedEnd xmi:type="uml:Property" xmi:id="_XSedI1vdEeyQqqhjavnEzg" name="parked the trucks" type="_yP3EsFudEeyQqqhjavnEzg" association="_XSedIFvdEeyQqqhjavnEzg"/>
        <ownedEnd xmi:type="uml:Property" xmi:id="_XSedJFvdEeyQqqhjavnEzg" name="trucks" type="_sNR3MFudEeyQqqhjavnEzg" association="_XSedIFvdEeyQqqhjavnEzg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:UseCase" xmi:id="_rQ6isFv3EeyQqqhjavnEzg" name="disengaging trucks"/>
      <packagedElement xmi:type="uml:UseCase" xmi:id="_nQlO4Fv5EeyQqqhjavnEzg" name="Re-engaging trucks"/>
      <packagedElement xmi:type="uml:Interaction" xmi:id="_-cVccFv8EeyQqqhjavnEzg" name="Interaction11"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_N9rRUFwnEeyDdLy0fFYZOQ" name="Signal11"/>
      <packagedElement xmi:type="uml:Interaction" xmi:id="_QwKKkFwoEeyDdLy0fFYZOQ" name="Interaction13">
        <lifeline xmi:type="uml:Lifeline" xmi:id="_L4WvUFxCEeyDdLy0fFYZOQ" name="Trucks" coveredBy="_ravGEFxEEeyDdLy0fFYZOQ _ravtIFxEEeyDdLy0fFYZOQ _VateoFyrEeycbb_k3OHhTw _VauswFyrEeycbb_k3OHhTw _KbDvoFyqEeycbb_k3OHhTw _KbDIkFyqEeycbb_k3OHhTw _uDfnsFyqEeycbb_k3OHhTw _Llh-sFyqEeycbb_k3OHhTw _Ll-qoFyqEeycbb_k3OHhTw _IDFWMFyrEeycbb_k3OHhTw _IDF9QFyrEeycbb_k3OHhTw _P7n_wFyrEeycbb_k3OHhTw _P7n_wVyrEeycbb_k3OHhTw _KbEWsFyqEeycbb_k3OHhTw _CENukFysEeycbb_k3OHhTw _CEMgcFysEeycbb_k3OHhTw _Cyyr0VysEeycbb_k3OHhTw _SGCzcFysEeycbb_k3OHhTw _SGDagFysEeycbb_k3OHhTw _CENukVysEeycbb_k3OHhTw _2xUokFysEeycbb_k3OHhTw _2xV2sFysEeycbb_k3OHhTw"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_i688EFyhEeycbb_k3OHhTw" name="Cellular Network" coveredBy="_VateoFyrEeycbb_k3OHhTw _VauswFyrEeycbb_k3OHhTw _Llh-sVyqEeycbb_k3OHhTw _Ll-DkVyqEeycbb_k3OHhTw _Ll8OYFyqEeycbb_k3OHhTw"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_MRU_oFyoEeycbb_k3OHhTw" name="Drivers" coveredBy="_VateoFyrEeycbb_k3OHhTw _VauswFyrEeycbb_k3OHhTw _77pVMFyoEeycbb_k3OHhTw _77ouIFyoEeycbb_k3OHhTw _uDfAoVyqEeycbb_k3OHhTw _77pVMVyoEeycbb_k3OHhTw _BZy4kFysEeycbb_k3OHhTw _BZyRgFysEeycbb_k3OHhTw _Cyyr0FysEeycbb_k3OHhTw _BZy4kVysEeycbb_k3OHhTw"/>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_2xUokFysEeycbb_k3OHhTw" name="KeepDriving" covered="_L4WvUFxCEeyDdLy0fFYZOQ" interactionOperator="opt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_2xV2sFysEeycbb_k3OHhTw" name="InteractionOperand0" covered="_L4WvUFxCEeyDdLy0fFYZOQ">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_2xV2sVysEeycbb_k3OHhTw" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_5aPLkFysEeycbb_k3OHhTw" value="KeepDriving"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_J21HAFxDEeyDdLy0fFYZOQ" name="CombinedFragment3" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_J21uEFxDEeyDdLy0fFYZOQ" name="InteractionOperand0">
            <fragment xmi:type="uml:CombinedFragment" xmi:id="_VateoFyrEeycbb_k3OHhTw" name="CombinedFragment32" covered="_i688EFyhEeycbb_k3OHhTw _MRU_oFyoEeycbb_k3OHhTw _L4WvUFxCEeyDdLy0fFYZOQ" interactionOperator="opt">
              <operand xmi:type="uml:InteractionOperand" xmi:id="_VauswFyrEeycbb_k3OHhTw" name="InteractionOperand0" covered="_i688EFyhEeycbb_k3OHhTw _MRU_oFyoEeycbb_k3OHhTw _L4WvUFxCEeyDdLy0fFYZOQ">
                <fragment xmi:type="uml:CombinedFragment" xmi:id="_ravGEFxEEeyDdLy0fFYZOQ" name="CombinedFragment6" covered="_L4WvUFxCEeyDdLy0fFYZOQ" interactionOperator="opt">
                  <operand xmi:type="uml:InteractionOperand" xmi:id="_ravtIFxEEeyDdLy0fFYZOQ" name="InteractionOperand0" covered="_L4WvUFxCEeyDdLy0fFYZOQ">
                    <guard xmi:type="uml:InteractionConstraint" xmi:id="_ravtIVxEEeyDdLy0fFYZOQ" name="guard">
                      <specification xmi:type="uml:LiteralString" xmi:id="_wDVGkFysEeycbb_k3OHhTw" value="&#xD;&#xA;"/>
                    </guard>
                  </operand>
                </fragment>
                <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_KbDvoFyqEeycbb_k3OHhTw" name="ActionExecutionSpecification19Start" covered="_L4WvUFxCEeyDdLy0fFYZOQ" execution="_KbDIkFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_KbDIkFyqEeycbb_k3OHhTw" name="ActionExecutionSpecification19" covered="_L4WvUFxCEeyDdLy0fFYZOQ" finish="_KbEWsFyqEeycbb_k3OHhTw" start="_KbDvoFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_77pVMFyoEeycbb_k3OHhTw" name="ActionExecutionSpecification10Start" covered="_MRU_oFyoEeycbb_k3OHhTw" execution="_77ouIFyoEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_77ouIFyoEeycbb_k3OHhTw" name="ActionExecutionSpecification10" covered="_MRU_oFyoEeycbb_k3OHhTw" finish="_77pVMVyoEeycbb_k3OHhTw" start="_77pVMFyoEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_uDfAoVyqEeycbb_k3OHhTw" name="Message26SendEvent" covered="_MRU_oFyoEeycbb_k3OHhTw" message="_uDfAoFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_uDfnsFyqEeycbb_k3OHhTw" name="Message26ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_uDfAoFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Llh-sFyqEeycbb_k3OHhTw" name="Message22SendEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_LlhXoFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_77pVMVyoEeycbb_k3OHhTw" name="ActionExecutionSpecification10Finish" covered="_MRU_oFyoEeycbb_k3OHhTw" execution="_77ouIFyoEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Llh-sVyqEeycbb_k3OHhTw" name="Message22ReceiveEvent" covered="_i688EFyhEeycbb_k3OHhTw" message="_LlhXoFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_Ll8OYFyqEeycbb_k3OHhTw" name="BehaviorExecutionSpecification25" covered="_i688EFyhEeycbb_k3OHhTw" finish="_Ll-DkVyqEeycbb_k3OHhTw" start="_Llh-sVyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ll-DkVyqEeycbb_k3OHhTw" name="Message27SendEvent" covered="_i688EFyhEeycbb_k3OHhTw" message="_Ll-DkFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ll-qoFyqEeycbb_k3OHhTw" name="Message27ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_Ll-DkFyqEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_IDFWMFyrEeycbb_k3OHhTw" name="Message31SendEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_IDEvIFyrEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_IDF9QFyrEeycbb_k3OHhTw" name="Message31ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_IDEvIFyrEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_P7n_wFyrEeycbb_k3OHhTw" name="Message29SendEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_P7nYsFyrEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_P7n_wVyrEeycbb_k3OHhTw" name="Message29ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_P7nYsFyrEeycbb_k3OHhTw"/>
                <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_KbEWsFyqEeycbb_k3OHhTw" name="ActionExecutionSpecification19Finish" covered="_L4WvUFxCEeyDdLy0fFYZOQ" execution="_KbDIkFyqEeycbb_k3OHhTw"/>
                <guard xmi:type="uml:InteractionConstraint" xmi:id="_VauswVyrEeycbb_k3OHhTw" name="guard">
                  <specification xmi:type="uml:LiteralString" xmi:id="_opRv0FysEeycbb_k3OHhTw" value="ParkTrucks"/>
                </guard>
              </operand>
            </fragment>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_J21uEVxDEeyDdLy0fFYZOQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_emgwMFxFEeyDdLy0fFYZOQ" value=""/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_SfEIIFxDEeyDdLy0fFYZOQ" name="CombinedFragment4" interactionOperator="opt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_SfEvMFxDEeyDdLy0fFYZOQ" name="InteractionOperand0">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_SfEvMVxDEeyDdLy0fFYZOQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_T7TcoFxDEeyDdLy0fFYZOQ" value="Parking trucks"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_AoeroFxEEeyDdLy0fFYZOQ" name="CombinedFragment5" interactionOperator="opt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_AofSsFxEEeyDdLy0fFYZOQ" name="InteractionOperand0">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_AofSsVxEEeyDdLy0fFYZOQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_xC5GIFysEeycbb_k3OHhTw" value="&#xD;&#xA;"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_ZM94oFxFEeyDdLy0fFYZOQ" name="CombinedFragment6" interactionOperator="opt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_ZM_GwFxFEeyDdLy0fFYZOQ" name="InteractionOperand0">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_ZM_GwVxFEeyDdLy0fFYZOQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_9ltMQFxFEeyDdLy0fFYZOQ" value="disengaging trucks"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_f8RjcFysEeycbb_k3OHhTw" name="CombinedFragment26" interactionOperator="opt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_f8SxkFysEeycbb_k3OHhTw" name="InteractionOperand0">
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_CENukFysEeycbb_k3OHhTw" name="ActionExecutionSpecification14Start" covered="_L4WvUFxCEeyDdLy0fFYZOQ" execution="_CEMgcFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_CEMgcFysEeycbb_k3OHhTw" name="ActionExecutionSpecification14" covered="_L4WvUFxCEeyDdLy0fFYZOQ" finish="_CENukVysEeycbb_k3OHhTw" start="_CENukFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_BZy4kFysEeycbb_k3OHhTw" name="ActionExecutionSpecification14Start" covered="_MRU_oFyoEeycbb_k3OHhTw" execution="_BZyRgFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_BZyRgFysEeycbb_k3OHhTw" name="ActionExecutionSpecification14" covered="_MRU_oFyoEeycbb_k3OHhTw" finish="_BZy4kVysEeycbb_k3OHhTw" start="_BZy4kFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Cyyr0FysEeycbb_k3OHhTw" name="Message14SendEvent" covered="_MRU_oFyoEeycbb_k3OHhTw" message="_CyxdsFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Cyyr0VysEeycbb_k3OHhTw" name="Message14ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_CyxdsFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_BZy4kVysEeycbb_k3OHhTw" name="ActionExecutionSpecification14Finish" covered="_MRU_oFyoEeycbb_k3OHhTw" execution="_BZyRgFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_SGCzcFysEeycbb_k3OHhTw" name="Message23SendEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_SGCMYFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_SGDagFysEeycbb_k3OHhTw" name="Message23ReceiveEvent" covered="_L4WvUFxCEeyDdLy0fFYZOQ" message="_SGCMYFysEeycbb_k3OHhTw"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_CENukVysEeycbb_k3OHhTw" name="ActionExecutionSpecification14Finish" covered="_L4WvUFxCEeyDdLy0fFYZOQ" execution="_CEMgcFysEeycbb_k3OHhTw"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_f8SxkVysEeycbb_k3OHhTw" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_qh3CEFysEeycbb_k3OHhTw" value="StartTrucks"/>
            </guard>
          </operand>
        </fragment>
        <message xmi:type="uml:Message" xmi:id="_LlhXoFyqEeycbb_k3OHhTw" name="SearchingParkingSpaces" receiveEvent="_Llh-sVyqEeycbb_k3OHhTw" sendEvent="_Llh-sFyqEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_Ll-DkFyqEeycbb_k3OHhTw" name="FoundPlaces" messageSort="reply" receiveEvent="_Ll-qoFyqEeycbb_k3OHhTw" sendEvent="_Ll-DkVyqEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_uDfAoFyqEeycbb_k3OHhTw" name="ParkTrucks" messageSort="asynchCall" receiveEvent="_uDfnsFyqEeycbb_k3OHhTw" sendEvent="_uDfAoVyqEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_IDEvIFyrEeycbb_k3OHhTw" name="DisengagingTrucks" messageSort="asynchCall" receiveEvent="_IDF9QFyrEeycbb_k3OHhTw" sendEvent="_IDFWMFyrEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_P7nYsFyrEeycbb_k3OHhTw" name="ParkTrucks" messageSort="asynchCall" receiveEvent="_P7n_wVyrEeycbb_k3OHhTw" sendEvent="_P7n_wFyrEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_CyxdsFysEeycbb_k3OHhTw" name="StartTrucks" messageSort="asynchCall" receiveEvent="_Cyyr0VysEeycbb_k3OHhTw" sendEvent="_Cyyr0FysEeycbb_k3OHhTw"/>
        <message xmi:type="uml:Message" xmi:id="_SGCMYFysEeycbb_k3OHhTw" name="Re-engagingTrucks" messageSort="asynchCall" receiveEvent="_SGDagFysEeycbb_k3OHhTw" sendEvent="_SGCzcFysEeycbb_k3OHhTw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interaction" xmi:id="_R7ZsUFxBEeyDdLy0fFYZOQ" name="Interaction14"/>
      <packagedElement xmi:type="uml:UseCase" xmi:id="_aVs68FxIEeyDdLy0fFYZOQ" name="Finding available parking spaces"/>
      <packagedElement xmi:type="uml:Class" xmi:id="_U06WAFzDEeycbb_k3OHhTw" name="Block13"/>
    </packagedElement>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pha_oFt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pheqAFt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#/"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjPkkFt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjQLoFt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//activities"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Activities"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjTO8Ft2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjTO8Vt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//allocations"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Allocations"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjT2AFt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjT2AVt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//blocks"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjT2Alt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjT2A1t2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//constraintblocks"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ConstraintBlocks"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjUdEFt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjUdEVt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//deprecatedelements"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_DeprecatedElements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjUdElt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjUdE1t2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//modelelements"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ModelElements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjUdFFt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjVEIFt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//portsandflows"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Ports_u0026Flows"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjVEIVt2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjVEIlt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//requirements"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Requirements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_pjVEI1t2EeyXC-mTcr0tYw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pjVrMFt2EeyXC-mTcr0tYw" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/uml2/5.0.0/UML/Profile/Standard#/"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/>
    </profileApplication>
  </uml:Model>
  <Blocks:Block xmi:id="_U1CR0FzDEeycbb_k3OHhTw" base_Class="_U06WAFzDEeycbb_k3OHhTw"/>
</xmi:XMI>
