<?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:Requirements="http://www.eclipse.org/papyrus/sysml/1.6/SysML/Requirements" 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/Requirements http://www.eclipse.org/papyrus/sysml/1.6/SysML#//requirements">
  <uml:Package xmi:id="_LClTgDjYEeyQeMlHlxk6EA" name="Loss of Train Integrity">
    <packagedElement xmi:type="uml:UseCase" xmi:id="_6x1yoBRpEeyQN9odROAPWw" name="Loss of Train Integrity" classifierBehavior="_6zwwIEesEeyfHsZ5oNU26Q">
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_6zwwIEesEeyfHsZ5oNU26Q" name="LTI_SD">
        <ownedComment xmi:type="uml:Comment" xmi:id="_T6ILEEfCEeyfHsZ5oNU26Q">
          <body>REQ-LossTI-2&#xD;
REQ-LossTI-3&#xD;
REQ-LossTI-4&#xD;
REQ-LossTI-5&#xD;
REQ-LossTI-6&#xD;
REQ-LossTI-7&#xD;
REQ-LossTI-8&#xD;
</body>
        </ownedComment>
        <ownedComment xmi:type="uml:Comment" xmi:id="_dErCMEk6Eeyh4oFA3tP0HA">
          <body>Add requirement: if trackside is not configured to accept driver confirmation,&#xD;
 it shall react as reception of TPR with no train integrity information</body>
        </ownedComment>
        <ownedComment xmi:type="uml:Comment" xmi:id="_TG1eoFODEey-6ZlVQ1gHJw">
          <body>Add requirement, when receiving a PR from a train, the trackside update the track status</body>
        </ownedComment>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_NghxQEetEeyfHsZ5oNU26Q" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_av43QBIzEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_PLp2UEetEeyfHsZ5oNU26Q" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_fF5jUBI1EeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_R1p-cEetEeyfHsZ5oNU26Q" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_P1DlkBIsEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_TeeWYEetEeyfHsZ5oNU26Q" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_s3WM4BIoEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_NgfVAEetEeyfHsZ5oNU26Q" name="Trackside" represents="_NghxQEetEeyfHsZ5oNU26Q" coveredBy="_6rquoEetEeyfHsZ5oNU26Q _t1FRIEiGEeyac_yRAQr39g _t08uQEiGEeyac_yRAQr39g _M8mIUEeuEeyfHsZ5oNU26Q _t1GfQEiGEeyac_yRAQr39g _M8mIUUeuEeyfHsZ5oNU26Q _3Wi3sEkzEeyh4oFA3tP0HA _FoIG8Ek0Eeyh4oFA3tP0HA _FnbjYEk0Eeyh4oFA3tP0HA _3Wi3sUkzEeyh4oFA3tP0HA _gtI6oEeuEeyfHsZ5oNU26Q _8_AwoEe1EeyfHsZ5oNU26Q _A42hQEe8EeyfHsZ5oNU26Q _A44WcEe8EeyfHsZ5oNU26Q _kpRG8Ek4Eeyh4oFA3tP0HA _kpRuAEk4Eeyh4oFA3tP0HA _d09jcJPoEeyk7ZT3MKZRPQ _d06gIJPoEeyk7ZT3MKZRPQ _mY4XMJPmEeyk7ZT3MKZRPQ _mY4XMZPmEeyk7ZT3MKZRPQ _e9yMsJPoEeyk7ZT3MKZRPQ _e9xloJPoEeyk7ZT3MKZRPQ _-kcsAEk3Eeyh4oFA3tP0HA _LrWl8Ek6Eeyh4oFA3tP0HA _LrWl8Uk6Eeyh4oFA3tP0HA _gAZgQJPoEeyk7ZT3MKZRPQ _gAY5MJPoEeyk7ZT3MKZRPQ _puhmIEevEeyfHsZ5oNU26Q _jNeoEEe8EeyfHsZ5oNU26Q _U7qlQE3QEeyTKpdRngNeaw _U7qlQU3QEeyTKpdRngNeaw _h9BlAJPoEeyk7ZT3MKZRPQ _h9A98JPoEeyk7ZT3MKZRPQ _vcb4QEe8EeyfHsZ5oNU26Q _vccfUEe8EeyfHsZ5oNU26Q _i3isgJPoEeyk7ZT3MKZRPQ _i3iFcJPoEeyk7ZT3MKZRPQ _0rxg4E3QEey2lvPAMGUuCQ _69KBoJPoEeyggPC30N0u9A _69G-UJPoEeyggPC30N0u9A _gVffIJPrEeydT4R2R7dp2g"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_PLoBIEetEeyfHsZ5oNU26Q" name="OBU" represents="_PLp2UEetEeyfHsZ5oNU26Q" coveredBy="_3VXhMEetEeyfHsZ5oNU26Q _6rqHkEetEeyfHsZ5oNU26Q _gtJhsEeuEeyfHsZ5oNU26Q _iJlmUUe1EeyfHsZ5oNU26Q _8_AJkEe1EeyfHsZ5oNU26Q _A42hQEe8EeyfHsZ5oNU26Q _A44WcEe8EeyfHsZ5oNU26Q _-kcsAEk3Eeyh4oFA3tP0HA _puiNMEevEeyfHsZ5oNU26Q _jNeBAEe8EeyfHsZ5oNU26Q"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_R1owUEetEeyfHsZ5oNU26Q" name="TIMS" represents="_R1p-cEetEeyfHsZ5oNU26Q" coveredBy="_3VW6IEetEeyfHsZ5oNU26Q"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_TedvUEetEeyfHsZ5oNU26Q" name="Driver" represents="_TeeWYEetEeyfHsZ5oNU26Q" coveredBy="_iJlmUEe1EeyfHsZ5oNU26Q _gVgGMJPrEeydT4R2R7dp2g"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3VW6IEetEeyfHsZ5oNU26Q" name="Message10SendEvent" covered="_R1owUEetEeyfHsZ5oNU26Q" message="_3U8qcEetEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3VXhMEetEeyfHsZ5oNU26Q" name="Message10ReceiveEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_3U8qcEetEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6rqHkEetEeyfHsZ5oNU26Q" name="Message11SendEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_6ro5cEetEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6rquoEetEeyfHsZ5oNU26Q" name="Message11ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_6ro5cEetEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_t1FRIEiGEeyac_yRAQr39g" name="ActionExecutionSpecification29Start" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_t08uQEiGEeyac_yRAQr39g"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_t08uQEiGEeyac_yRAQr39g" name="ActionExecutionSpecification29" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_t1GfQEiGEeyac_yRAQr39g" start="_t1FRIEiGEeyac_yRAQr39g"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M8mIUEeuEeyfHsZ5oNU26Q" name="Message14SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_M8jsEEeuEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_t1GfQEiGEeyac_yRAQr39g" name="ActionExecutionSpecification29Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_t08uQEiGEeyac_yRAQr39g"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M8mIUUeuEeyfHsZ5oNU26Q" name="Message14ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_M8jsEEeuEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3Wi3sEkzEeyh4oFA3tP0HA" name="Message68SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_3WDvgEkzEeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_FnbjYEk0Eeyh4oFA3tP0HA" name="BehaviorExecutionSpecification68" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_FoIG8Ek0Eeyh4oFA3tP0HA" start="_3Wi3sEkzEeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_FoIG8Ek0Eeyh4oFA3tP0HA" name="BehaviorExecutionSpecification68Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_FnbjYEk0Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3Wi3sUkzEeyh4oFA3tP0HA" name="Message68ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_3WDvgEkzEeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gtI6oEeuEeyfHsZ5oNU26Q" name="Message17SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_gtITkEeuEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gtJhsEeuEeyfHsZ5oNU26Q" name="Message17ReceiveEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_gtITkEeuEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_iJlmUEe1EeyfHsZ5oNU26Q" name="Message27SendEvent" covered="_TedvUEetEeyfHsZ5oNU26Q" message="_iJkYMEe1EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_iJlmUUe1EeyfHsZ5oNU26Q" name="Message27ReceiveEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_iJkYMEe1EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_8_AJkEe1EeyfHsZ5oNU26Q" name="Message28SendEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_8-_igEe1EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_8_AwoEe1EeyfHsZ5oNU26Q" name="Message28ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_8-_igEe1EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_A42hQEe8EeyfHsZ5oNU26Q" name="CombinedFragment25" covered="_PLoBIEetEeyfHsZ5oNU26Q _NgfVAEetEeyfHsZ5oNU26Q" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_A44WcEe8EeyfHsZ5oNU26Q" name="InteractionOperand0" covered="_PLoBIEetEeyfHsZ5oNU26Q _NgfVAEetEeyfHsZ5oNU26Q">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_A44WcUe8EeyfHsZ5oNU26Q" name="Accept Driver confirmation">
              <specification xmi:type="uml:LiteralString" xmi:id="_QrR4MEe8EeyfHsZ5oNU26Q" value="isDriverIntegrityConfirmationAccepted = TRUE"/>
            </guard>
          </operand>
          <operand xmi:type="uml:InteractionOperand" xmi:id="_-kcsAEk3Eeyh4oFA3tP0HA" name="InteractionOperand2" covered="_PLoBIEetEeyfHsZ5oNU26Q _NgfVAEetEeyfHsZ5oNU26Q">
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_-kehMEk3Eeyh4oFA3tP0HA" name="guard"/>
          </operand>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kpRG8Ek4Eeyh4oFA3tP0HA" name="Message66SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_kpQf4Ek4Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_d06gIJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_d09jcJPoEeyk7ZT3MKZRPQ" start="_kpRG8Ek4Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kpRuAEk4Eeyh4oFA3tP0HA" name="Message66ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_kpQf4Ek4Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_d09jcJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_d06gIJPoEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_mY4XMJPmEeyk7ZT3MKZRPQ" name="Message62SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_mYzesJPmEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_e9xloJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_e9yMsJPoEeyk7ZT3MKZRPQ" start="_mY4XMJPmEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_mY4XMZPmEeyk7ZT3MKZRPQ" name="Message62ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_mYzesJPmEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_e9yMsJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_e9xloJPoEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LrWl8Ek6Eeyh4oFA3tP0HA" name="Message68SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_Gy2l8Ek6Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_gAY5MJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_gAZgQJPoEeyk7ZT3MKZRPQ" start="_LrWl8Ek6Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LrWl8Uk6Eeyh4oFA3tP0HA" name="Message68ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_Gy2l8Ek6Eeyh4oFA3tP0HA"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_gAZgQJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_gAY5MJPoEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_puhmIEevEeyfHsZ5oNU26Q" name="Message25SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_pugYAEevEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_puiNMEevEeyfHsZ5oNU26Q" name="Message25ReceiveEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_pugYAEevEeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jNeBAEe8EeyfHsZ5oNU26Q" name="Message26SendEvent" covered="_PLoBIEetEeyfHsZ5oNU26Q" message="_jNcL0Ee8EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jNeoEEe8EeyfHsZ5oNU26Q" name="Message26ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_jNcL0Ee8EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_U7qlQE3QEeyTKpdRngNeaw" name="Message56SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_U7j3kE3QEeyTKpdRngNeaw"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_h9A98JPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_h9BlAJPoEeyk7ZT3MKZRPQ" start="_U7qlQE3QEeyTKpdRngNeaw"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_U7qlQU3QEeyTKpdRngNeaw" name="Message56ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_U7j3kE3QEeyTKpdRngNeaw"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_h9BlAJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification57Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_h9A98JPoEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vcb4QEe8EeyfHsZ5oNU26Q" name="Message27SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_vcbRMEe8EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_i3iFcJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification59" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_i3isgJPoEeyk7ZT3MKZRPQ" start="_vcb4QEe8EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vccfUEe8EeyfHsZ5oNU26Q" name="Message27ReceiveEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_vcbRMEe8EeyfHsZ5oNU26Q"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_i3isgJPoEeyk7ZT3MKZRPQ" name="BehaviorExecutionSpecification59Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_i3iFcJPoEeyk7ZT3MKZRPQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_0rxg4E3QEey2lvPAMGUuCQ" name="Message61SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_0rjecE3QEey2lvPAMGUuCQ"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_69G-UJPoEeyggPC30N0u9A" name="ActionExecutionSpecification61" covered="_NgfVAEetEeyfHsZ5oNU26Q" finish="_69KBoJPoEeyggPC30N0u9A" start="_0rxg4E3QEey2lvPAMGUuCQ"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_69KBoJPoEeyggPC30N0u9A" name="ActionExecutionSpecification61Finish" covered="_NgfVAEetEeyfHsZ5oNU26Q" execution="_69G-UJPoEeyggPC30N0u9A"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gVffIJPrEeydT4R2R7dp2g" name="Message75SendEvent" covered="_NgfVAEetEeyfHsZ5oNU26Q" message="_gVcb0JPrEeydT4R2R7dp2g"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gVgGMJPrEeydT4R2R7dp2g" name="Message75ReceiveEvent" covered="_TedvUEetEeyfHsZ5oNU26Q" message="_gVcb0JPrEeydT4R2R7dp2g"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_kBJ_8JPoEeyk7ZT3MKZRPQ"/>
        <message xmi:type="uml:Message" xmi:id="_3U8qcEetEeyfHsZ5oNU26Q" name="S_Train_Integrity_TIMS(Confirmed)" messageSort="asynchCall" receiveEvent="_3VXhMEetEeyfHsZ5oNU26Q" sendEvent="_3VW6IEetEeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_6ro5cEetEeyfHsZ5oNU26Q" name="Report Train Position / 'MonitoringDevice'" messageSort="asynchCall" receiveEvent="_6rquoEetEeyfHsZ5oNU26Q" sendEvent="_6rqHkEetEeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_M8jsEEeuEeyfHsZ5oNU26Q" name="Restart waitIntegrityTime" messageSort="asynchCall" receiveEvent="_M8mIUUeuEeyfHsZ5oNU26Q" sendEvent="_M8mIUEeuEeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_gtITkEeuEeyfHsZ5oNU26Q" name="Update MA" messageSort="asynchCall" receiveEvent="_gtJhsEeuEeyfHsZ5oNU26Q" sendEvent="_gtI6oEeuEeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_pugYAEevEeyfHsZ5oNU26Q" name="Update MA" messageSort="asynchCall" receiveEvent="_puiNMEevEeyfHsZ5oNU26Q" sendEvent="_puhmIEevEeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_iJkYMEe1EeyfHsZ5oNU26Q" name="S_Train_Integrity_Confirmed_Driver" messageSort="asynchCall" receiveEvent="_iJlmUUe1EeyfHsZ5oNU26Q" sendEvent="_iJlmUEe1EeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_8-_igEe1EeyfHsZ5oNU26Q" name="Report Train Position / 'Driver'" messageSort="asynchCall" receiveEvent="_8_AwoEe1EeyfHsZ5oNU26Q" sendEvent="_8_AJkEe1EeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_jNcL0Ee8EeyfHsZ5oNU26Q" name="Report Train Position / 'NoInformation'" messageSort="asynchCall" receiveEvent="_jNeoEEe8EeyfHsZ5oNU26Q" sendEvent="_jNeBAEe8EeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_vcbRMEe8EeyfHsZ5oNU26Q" name="Unknown Track Status" messageSort="asynchCall" receiveEvent="_vccfUEe8EeyfHsZ5oNU26Q" sendEvent="_vcb4QEe8EeyfHsZ5oNU26Q"/>
        <message xmi:type="uml:Message" xmi:id="_3WDvgEkzEeyh4oFA3tP0HA" name="Occupy Track Status" messageSort="asynchCall" receiveEvent="_3Wi3sUkzEeyh4oFA3tP0HA" sendEvent="_3Wi3sEkzEeyh4oFA3tP0HA"/>
        <message xmi:type="uml:Message" xmi:id="_kpQf4Ek4Eeyh4oFA3tP0HA" name="Stop waitIntegrityTime" messageSort="asynchCall" receiveEvent="_kpRuAEk4Eeyh4oFA3tP0HA" sendEvent="_kpRG8Ek4Eeyh4oFA3tP0HA"/>
        <message xmi:type="uml:Message" xmi:id="_Gy2l8Ek6Eeyh4oFA3tP0HA" name="Unknown Track Status" messageSort="asynchCall" receiveEvent="_LrWl8Uk6Eeyh4oFA3tP0HA" sendEvent="_LrWl8Ek6Eeyh4oFA3tP0HA"/>
        <message xmi:type="uml:Message" xmi:id="_U7j3kE3QEeyTKpdRngNeaw" name="waitIntegrityTime expired /assumed train integrity lost" messageSort="asynchCall" receiveEvent="_U7qlQU3QEeyTKpdRngNeaw" sendEvent="_U7qlQE3QEeyTKpdRngNeaw"/>
        <message xmi:type="uml:Message" xmi:id="_0rjecE3QEey2lvPAMGUuCQ" name="R_TracksideLossIntegrity" messageSort="asynchCall" sendEvent="_0rxg4E3QEey2lvPAMGUuCQ"/>
        <message xmi:type="uml:Message" xmi:id="_mYzesJPmEeyk7ZT3MKZRPQ" name="Occupy Track Status" messageSort="asynchCall" receiveEvent="_mY4XMZPmEeyk7ZT3MKZRPQ" sendEvent="_mY4XMJPmEeyk7ZT3MKZRPQ"/>
        <message xmi:type="uml:Message" xmi:id="_gVcb0JPrEeydT4R2R7dp2g" name="S_Train_Integrity_Lost" messageSort="asynchCall" receiveEvent="_gVgGMJPrEeydT4R2R7dp2g" sendEvent="_gVffIJPrEeydT4R2R7dp2g"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_sr3-oLZpEeyjzpg8hNaQkQ" name="Interaction7">
        <ownedComment xmi:type="uml:Comment" xmi:id="_ff6SkLc4EeyVmKe4N03hoQ">
          <body>REQ-LossTI-5</body>
        </ownedComment>
        <ownedComment xmi:type="uml:Comment" xmi:id="_nEihoLc4EeyVmKe4N03hoQ">
          <body>REQ-LossTI-1&#xD;
REQ-LossTI-7</body>
        </ownedComment>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_a9ozkLZvEeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_P1DlkBIsEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_d8DFcLZvEeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:UseCase" href="Integration_Information_Management.uml#_jD9zcDjZEeyQeMlHlxk6EA"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_niCvULZvEeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:UseCase" href="Train_Position_Reporting.uml#_hQC-wDjZEeyQeMlHlxk6EA"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_xIKVAbZvEeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_SyI2YLEMEeyVGPyNAHP5Cw"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_ADV64LZwEeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:UseCase" href="Trains_Management.uml#_INQ5IBRuEeyQN9odROAPWw"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_L71ZkLZ1Eeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_s3WM4BIoEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_M5swALZ1Eeyjzpg8hNaQkQ" name="">
          <type xmi:type="uml:Class" href="PerformingRail.uml#_s3WM4BIoEeyVOZB09kZL2w"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_00k08Lc2EeyVmKe4N03hoQ" name="">
          <type xmi:type="uml:UseCase" href="Track_Status_Management.uml#_F6flQBRuEeyQN9odROAPWw"/>
        </ownedAttribute>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_a9oMgLZvEeyjzpg8hNaQkQ" name="TIMS" represents="_a9ozkLZvEeyjzpg8hNaQkQ" coveredBy="_e3XeMLZvEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_d8CeYLZvEeyjzpg8hNaQkQ" name="IIM" represents="_d8DFcLZvEeyjzpg8hNaQkQ" coveredBy="_Zym8ILZ1Eeyjzpg8hNaQkQ _ZyoKQLZ1Eeyjzpg8hNaQkQ _OVf_oLZ1Eeyjzpg8hNaQkQ _lmW3ALZ1Eeyjzpg8hNaQkQ _e3YFQLZvEeyjzpg8hNaQkQ _pFI5wLZvEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_niCIQLZvEeyjzpg8hNaQkQ" name="TPR" represents="_niCvULZvEeyjzpg8hNaQkQ" coveredBy="_pFJg0LZvEeyjzpg8hNaQkQ _yKVjsLZvEeyjzpg8hNaQkQ _zTzGILZvEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_xIKVALZvEeyjzpg8hNaQkQ" name="TL" represents="_xIKVAbZvEeyjzpg8hNaQkQ" coveredBy="_yKWKwLZvEeyjzpg8hNaQkQ _zTyfELZvEeyjzpg8hNaQkQ _Av6F8LZwEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_ADVT0LZwEeyjzpg8hNaQkQ" name="TM" represents="_ADV64LZwEeyjzpg8hNaQkQ" coveredBy="_Av6tALZwEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _6NJfYLZ2Eeyjzpg8hNaQkQ _6NKGcLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _7SON0Lc2EeyVmKe4N03hoQ _2bgEkLc4EeyVmKe4N03hoQ _emga0Lc3EeyVmKe4N03hoQ _zzEX0Lc6EeyVmKe4N03hoQ _zzE-4Lc6EeyVmKe4N03hoQ _DZBZAbc7EeyVmKe4N03hoQ _UYbgcLc7EeyVmKe4N03hoQ _UYcHgLc7EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_L70ygLZ1Eeyjzpg8hNaQkQ" name="" represents="_L71ZkLZ1Eeyjzpg8hNaQkQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_M5sI8LZ1Eeyjzpg8hNaQkQ" name="driver" represents="_M5swALZ1Eeyjzpg8hNaQkQ" coveredBy="_OVfYkLZ1Eeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _2bgEkbc4EeyVmKe4N03hoQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_00kN4Lc2EeyVmKe4N03hoQ" name="TSM" represents="_00k08Lc2EeyVmKe4N03hoQ" coveredBy="_7SPb8Lc2EeyVmKe4N03hoQ _DZCAELc7EeyVmKe4N03hoQ"/>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_Zym8ILZ1Eeyjzpg8hNaQkQ" name="CombinedFragment33" covered="_d8CeYLZvEeyjzpg8hNaQkQ" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_ZyoKQLZ1Eeyjzpg8hNaQkQ" name="InteractionOperand0" covered="_d8CeYLZvEeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OVf_oLZ1Eeyjzpg8hNaQkQ" name="Message30ReceiveEvent" covered="_d8CeYLZvEeyjzpg8hNaQkQ" message="_OVeKcLZ1Eeyjzpg8hNaQkQ"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_ZyoKQbZ1Eeyjzpg8hNaQkQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_2qH6ALZ1Eeyjzpg8hNaQkQ" value="Driver integrity confirmation"/>
            </guard>
          </operand>
          <operand xmi:type="uml:InteractionOperand" xmi:id="_lmW3ALZ1Eeyjzpg8hNaQkQ" name="InteractionOperand2" covered="_d8CeYLZvEeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_e3XeMLZvEeyjzpg8hNaQkQ" name="Message5SendEvent" covered="_a9oMgLZvEeyjzpg8hNaQkQ" message="_e3W3ILZvEeyjzpg8hNaQkQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_e3YFQLZvEeyjzpg8hNaQkQ" name="Message5ReceiveEvent" covered="_d8CeYLZvEeyjzpg8hNaQkQ" message="_e3W3ILZvEeyjzpg8hNaQkQ"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_lmXeELZ1Eeyjzpg8hNaQkQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_65uG8LZ1Eeyjzpg8hNaQkQ" value="TIMS integrity Status"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OVfYkLZ1Eeyjzpg8hNaQkQ" name="Message30SendEvent" covered="_M5sI8LZ1Eeyjzpg8hNaQkQ" message="_OVeKcLZ1Eeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pFI5wLZvEeyjzpg8hNaQkQ" name="Message10SendEvent" covered="_d8CeYLZvEeyjzpg8hNaQkQ" message="_pFISsLZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pFJg0LZvEeyjzpg8hNaQkQ" name="Message10ReceiveEvent" covered="_niCIQLZvEeyjzpg8hNaQkQ" message="_pFISsLZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_yKVjsLZvEeyjzpg8hNaQkQ" name="Message15SendEvent" covered="_niCIQLZvEeyjzpg8hNaQkQ" message="_yKU8oLZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_yKWKwLZvEeyjzpg8hNaQkQ" name="Message15ReceiveEvent" covered="_xIKVALZvEeyjzpg8hNaQkQ" message="_yKU8oLZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zTyfELZvEeyjzpg8hNaQkQ" name="Message18SendEvent" covered="_xIKVALZvEeyjzpg8hNaQkQ" message="_zTxQ8LZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zTzGILZvEeyjzpg8hNaQkQ" name="Message18ReceiveEvent" covered="_niCIQLZvEeyjzpg8hNaQkQ" message="_zTxQ8LZvEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Av6F8LZwEeyjzpg8hNaQkQ" name="Message23SendEvent" covered="_xIKVALZvEeyjzpg8hNaQkQ" message="_Av5e4LZwEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Av6tALZwEeyjzpg8hNaQkQ" name="Message23ReceiveEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_Av5e4LZwEeyjzpg8hNaQkQ"/>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_SyFDMLZ2Eeyjzpg8hNaQkQ" name="CombinedFragment30" covered="_a9oMgLZvEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ _ADVT0LZwEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_SyFqQLZ2Eeyjzpg8hNaQkQ" name="InteractionOperand0" covered="_a9oMgLZvEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ _ADVT0LZwEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6NJfYLZ2Eeyjzpg8hNaQkQ" name="Message31SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_6NI4ULZ2Eeyjzpg8hNaQkQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6NKGcLZ2Eeyjzpg8hNaQkQ" name="Message31ReceiveEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_6NI4ULZ2Eeyjzpg8hNaQkQ"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_SyFqQbZ2Eeyjzpg8hNaQkQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_jXEfgLZ2Eeyjzpg8hNaQkQ" value="Q_LENGTH = MonitoringDevice"/>
            </guard>
          </operand>
          <operand xmi:type="uml:InteractionOperand" xmi:id="_fqpRELZ2Eeyjzpg8hNaQkQ" name="InteractionOperand2" covered="_a9oMgLZvEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ _ADVT0LZwEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_7SON0Lc2EeyVmKe4N03hoQ" name="Message35SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_7SJVULc2EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_7SPb8Lc2EeyVmKe4N03hoQ" name="Message35ReceiveEvent" covered="_00kN4Lc2EeyVmKe4N03hoQ" message="_7SJVULc2EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_2bgEkLc4EeyVmKe4N03hoQ" name="Message38SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_2be2cLc4EeyVmKe4N03hoQ"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_fqp4ILZ2Eeyjzpg8hNaQkQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_jAlZcLc3EeyVmKe4N03hoQ" value="Q_LENGTH =Lost"/>
            </guard>
          </operand>
          <operand xmi:type="uml:InteractionOperand" xmi:id="_emga0Lc3EeyVmKe4N03hoQ" name="InteractionOperand3" covered="_a9oMgLZvEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ _ADVT0LZwEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zzEX0Lc6EeyVmKe4N03hoQ" name="Message40SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_zzDwwLc6EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zzE-4Lc6EeyVmKe4N03hoQ" name="Message40ReceiveEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_zzDwwLc6EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_DZBZAbc7EeyVmKe4N03hoQ" name="Message41SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_DZBZALc7EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_UYbgcLc7EeyVmKe4N03hoQ" name="Message43SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_UYa5YLc7EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_UYcHgLc7EeyVmKe4N03hoQ" name="Message43ReceiveEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_UYa5YLc7EeyVmKe4N03hoQ"/>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_emiQALc3EeyVmKe4N03hoQ" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_k8p9MLc6EeyVmKe4N03hoQ" value="Q_LENGTH =NoInformation"/>
            </guard>
          </operand>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_2bgEkbc4EeyVmKe4N03hoQ" name="Message38ReceiveEvent" covered="_M5sI8LZ1Eeyjzpg8hNaQkQ" message="_2be2cLc4EeyVmKe4N03hoQ"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_DZCAELc7EeyVmKe4N03hoQ" name="Message41ReceiveEvent" covered="_00kN4Lc2EeyVmKe4N03hoQ" message="_DZBZALc7EeyVmKe4N03hoQ"/>
        <message xmi:type="uml:Message" xmi:id="_e3W3ILZvEeyjzpg8hNaQkQ" name="Message5" messageSort="asynchCall" receiveEvent="_e3YFQLZvEeyjzpg8hNaQkQ" sendEvent="_e3XeMLZvEeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_dWHlwK6LEeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_pFISsLZvEeyjzpg8hNaQkQ" name="Message10" messageSort="asynchCall" receiveEvent="_pFJg0LZvEeyjzpg8hNaQkQ" sendEvent="_pFI5wLZvEeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_kLpN8K6dEeysMsIa0aUTrQ"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_yKU8oLZvEeyjzpg8hNaQkQ" name="Message15" messageSort="asynchCall" receiveEvent="_yKWKwLZvEeyjzpg8hNaQkQ" sendEvent="_yKVjsLZvEeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_N45rkLGFEey0QOTMOj7Mdg"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_zTxQ8LZvEeyjzpg8hNaQkQ" name="Message18" messageSort="asynchCall" receiveEvent="_zTzGILZvEeyjzpg8hNaQkQ" sendEvent="_zTyfELZvEeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_TyvMwLGFEey0QOTMOj7Mdg"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_Av5e4LZwEeyjzpg8hNaQkQ" name="Message23" messageSort="asynchCall" receiveEvent="_Av6tALZwEeyjzpg8hNaQkQ" sendEvent="_Av6F8LZwEeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_QURPMKtNEey01sp69YXD8w"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_OVeKcLZ1Eeyjzpg8hNaQkQ" name="Message30" messageSort="asynchCall" receiveEvent="_OVf_oLZ1Eeyjzpg8hNaQkQ" sendEvent="_OVfYkLZ1Eeyjzpg8hNaQkQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_7dbngK6fEeysMsIa0aUTrQ"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_6NI4ULZ2Eeyjzpg8hNaQkQ" name="Start/Restart integrityWaitTimer" messageSort="asynchCall" receiveEvent="_6NKGcLZ2Eeyjzpg8hNaQkQ" sendEvent="_6NJfYLZ2Eeyjzpg8hNaQkQ"/>
        <message xmi:type="uml:Message" xmi:id="_7SJVULc2EeyVmKe4N03hoQ" name="Message35" messageSort="asynchCall" receiveEvent="_7SPb8Lc2EeyVmKe4N03hoQ" sendEvent="_7SON0Lc2EeyVmKe4N03hoQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_mDo0sK55EeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_2be2cLc4EeyVmKe4N03hoQ" name="Message38" messageSort="asynchCall" receiveEvent="_2bgEkbc4EeyVmKe4N03hoQ" sendEvent="_2bgEkLc4EeyVmKe4N03hoQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_HGZ1wK6gEeysMsIa0aUTrQ"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_zzDwwLc6EeyVmKe4N03hoQ" name=" integrityWaitTimer expired /assumed train integrity lost" messageSort="asynchCall" receiveEvent="_zzE-4Lc6EeyVmKe4N03hoQ" sendEvent="_zzEX0Lc6EeyVmKe4N03hoQ"/>
        <message xmi:type="uml:Message" xmi:id="_DZBZALc7EeyVmKe4N03hoQ" name="Message41" messageSort="asynchCall" receiveEvent="_DZCAELc7EeyVmKe4N03hoQ" sendEvent="_DZBZAbc7EeyVmKe4N03hoQ">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_mDo0sK55EeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_UYa5YLc7EeyVmKe4N03hoQ" name="R_TracksideLossIntegrity" messageSort="asynchCall" receiveEvent="_UYcHgLc7EeyVmKe4N03hoQ" sendEvent="_UYbgcLc7EeyVmKe4N03hoQ"/>
      </ownedBehavior>
      <include xmi:type="uml:Include" xmi:id="_DZnJ4D1gEeyAv_UCn311nQ">
        <addition xmi:type="uml:UseCase" href="TTD_Management.uml#_BCR5IBRuEeyQN9odROAPWw"/>
      </include>
      <include xmi:type="uml:Include" xmi:id="_JVAKQD1gEeyAv_UCn311nQ">
        <addition xmi:type="uml:UseCase" href="Track_Status_Management.uml#_F6flQBRuEeyQN9odROAPWw"/>
      </include>
      <include xmi:type="uml:Include" xmi:id="_Vdp-ID1gEeyAv_UCn311nQ">
        <addition xmi:type="uml:UseCase" href="Train_Position_Reporting.uml#_hQC-wDjZEeyQeMlHlxk6EA"/>
      </include>
      <include xmi:type="uml:Include" xmi:id="_ZrBWcD1gEeyAv_UCn311nQ">
        <addition xmi:type="uml:UseCase" href="Integration_Information_Management.uml#_jD9zcDjZEeyQeMlHlxk6EA"/>
      </include>
      <include xmi:type="uml:Include" xmi:id="_HJtYMEb0EeyDdsL-2jTuug">
        <addition xmi:type="uml:UseCase" href="MA_Management.uml#_INRgMBRuEeyQN9odROAPWw"/>
      </include>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_6z6EcEeIEeyV8I3YXCWeCQ" memberEnd="_6z6rgkeIEeyV8I3YXCWeCQ _6z6rg0eIEeyV8I3YXCWeCQ">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_6z6rgEeIEeyV8I3YXCWeCQ" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_6z6rgUeIEeyV8I3YXCWeCQ" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_6z6rgkeIEeyV8I3YXCWeCQ" name="driver" association="_6z6EcEeIEeyV8I3YXCWeCQ">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_s3WM4BIoEeyVOZB09kZL2w"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="_6z6rg0eIEeyV8I3YXCWeCQ" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_6z6EcEeIEeyV8I3YXCWeCQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_n4GhwEeIEeyV8I3YXCWeCQ" memberEnd="_n4Hv4keIEeyV8I3YXCWeCQ _n4IW8EeIEeyV8I3YXCWeCQ">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_n4Hv4EeIEeyV8I3YXCWeCQ" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_n4Hv4UeIEeyV8I3YXCWeCQ" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_n4Hv4keIEeyV8I3YXCWeCQ" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_n4GhwEeIEeyV8I3YXCWeCQ"/>
      <ownedEnd xmi:type="uml:Property" xmi:id="_n4IW8EeIEeyV8I3YXCWeCQ" name="dispatcher" association="_n4GhwEeIEeyV8I3YXCWeCQ">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_wEHq4BIoEeyVOZB09kZL2w"/>
      </ownedEnd>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_9C2BMEeIEeyV8I3YXCWeCQ" memberEnd="_9C2oQkeIEeyV8I3YXCWeCQ _9C3PUEeIEeyV8I3YXCWeCQ">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_9C2oQEeIEeyV8I3YXCWeCQ" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_9C2oQUeIEeyV8I3YXCWeCQ" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_9C2oQkeIEeyV8I3YXCWeCQ" name="tms" association="_9C2BMEeIEeyV8I3YXCWeCQ">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_M__c8BIsEeyVOZB09kZL2w"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="_9C3PUEeIEeyV8I3YXCWeCQ" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_9C2BMEeIEeyV8I3YXCWeCQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="__eb54EeIEeyV8I3YXCWeCQ" memberEnd="__edIAkeIEeyV8I3YXCWeCQ __edIA0eIEeyV8I3YXCWeCQ">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__edIAEeIEeyV8I3YXCWeCQ" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__edIAUeIEeyV8I3YXCWeCQ" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="__edIAkeIEeyV8I3YXCWeCQ" name="ttd" association="__eb54EeIEeyV8I3YXCWeCQ">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_zC8n8BIyEeyVOZB09kZL2w"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="__edIA0eIEeyV8I3YXCWeCQ" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="__eb54EeIEeyV8I3YXCWeCQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_AjxKQEeJEeyV8I3YXCWeCQ" memberEnd="_AjxxUkeJEeyV8I3YXCWeCQ _AjyYYEeJEeyV8I3YXCWeCQ">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_AjxxUEeJEeyV8I3YXCWeCQ" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_AjxxUUeJEeyV8I3YXCWeCQ" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_AjxxUkeJEeyV8I3YXCWeCQ" name="tims" association="_AjxKQEeJEeyV8I3YXCWeCQ">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_P1DlkBIsEeyVOZB09kZL2w"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="_AjyYYEeJEeyV8I3YXCWeCQ" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_AjxKQEeJEeyV8I3YXCWeCQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Dependency" xmi:id="_7aUVsKO1EeyTZIGOC0eHNg" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3m8UD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_rBs4cKUpEeykePlC7pxpcQ" name="Refine18" client="_LClTgDjYEeyQeMlHlxk6EA">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3pYkD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_s-kNwKUpEeykePlC7pxpcQ" name="Refine19" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3oKcT1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_tg9JIKUpEeykePlC7pxpcQ" name="Refine20" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3njYD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_uCqIAKUpEeykePlC7pxpcQ" name="Refine21" client="_6zwwIEesEeyfHsZ5oNU26Q" supplier="_LClTgDjYEeyQeMlHlxk6EA"/>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_urUqgKUpEeykePlC7pxpcQ" name="Refine22" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3oxgD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_vYMXkKUpEeykePlC7pxpcQ" name="Refine23" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3qmsD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_v-LZgKUpEeykePlC7pxpcQ" name="Refine24" client="_6zwwIEesEeyfHsZ5oNU26Q">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3p_oD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-RXkDjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-RXkTjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-RXkjjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-R-oDjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-oTjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-ojjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Activities"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-R-ozjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-pDjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-pTjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Allocations"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-R-pjjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-pzjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-R-qDjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-SlsDjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SlsTjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SlsjjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ConstraintBlocks"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-SlszjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SltDjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SltTjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_DeprecatedElements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-SltjjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SltzjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SluDjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ModelElements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-SluTjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-SlujjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-TMwDjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <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="_q-TMwTjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-TMwjjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-TMwzjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Requirements"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_q-TMxDjZEeyQeMlHlxk6EA">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-TMxTjZEeyQeMlHlxk6EA" 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>
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q-TMxjjZEeyQeMlHlxk6EA" source="duplicatedProfile"/>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/>
    </profileApplication>
  </uml:Package>
  <Requirements:Requirement xmi:id="_c3sb4D1iEeyAv_UCn311nQ" id="REQ-LossTI-1" text="When receiving a position report from a train with the information 'Train integrity lost', the L3 Trackside shall change the Track Status Area associated with this train to Unknown.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3m8UD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3m8UD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c3yigD1iEeyAv_UCn311nQ" id="REQ-LossTI-2" text="When the L3 Trackside considers that the integrity is lost for a train, the L3 Trackside shall change the Track Status Area associated with this train to Unknown.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3njYD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3njYD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c3zJkD1iEeyAv_UCn311nQ" id="REQ-LossTI-3" text="When the L3 Trackside considers that the Train Integrity is lost for a train, the L3 Trackside shall react as configured.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3oKcD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3oKcD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c30XsD1iEeyAv_UCn311nQ" id="REQ-LossTI-4" text="The L3 Trackside shall consider the Train Integrity as lost when 'No train integrity information' is reported longer than a configurable time (Integrity Wait Timer).">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3oKcT1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3oKcT1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c30-wD1iEeyAv_UCn311nQ" id="REQ-LossTI-5" text="When receiving a message from a train with the information 'Train integrity confirmed by external device', the L3 Trackside shall start/restart the Integrity Wait Timer.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3oxgD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3oxgD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c32M4D1iEeyAv_UCn311nQ" id="REQ-LossTI-6" text="When receiving a message from a train with the information 'Train integrity confirmed by Driver', if the L3 Trackside is configured to accept confirmation by Driver and the Integrity Wait Timer is running, then the L3 Trackside shall stop the Integrity Wait Timer.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3pYkD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3pYkD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c32z8D1iEeyAv_UCn311nQ" id="REQ-LossTI-7" text="After a loss of integrity, the driver shall be made aware of the situation via an indication in the cab.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3p_oD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3p_oD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c34CED1iEeyAv_UCn311nQ" id="REQ-LossTI-8" text="The L3 Trackside shall be able to be configured whether to accept Train Integrity confirmation by the driver.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3qmsD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3qmsD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c35QMD1iEeyAv_UCn311nQ" id="REQ-LossTI-9" text="The L3 Trackside shall be configurable as to whether it authorises a Movement Authority for a train that has lost Integrity.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3rNwD1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3rNwD1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Requirement xmi:id="_c36eUD1iEeyAv_UCn311nQ" id="REQ-LossTI-10" text="If the L3 Trackside receives Validated Train Data for a train with a train length different from previously reported within the same communication session, then the L3 Trackside shall consider the train as having lost Integrity.">
    <base_NamedElement xmi:type="uml:Class" href="Requirements.uml#_c3r00D1iEeyAv_UCn311nQ"/>
    <base_Class xmi:type="uml:Class" href="Requirements.uml#_c3r00D1iEeyAv_UCn311nQ"/>
  </Requirements:Requirement>
  <Requirements:Refine xmi:id="_rB1bUKUpEeykePlC7pxpcQ" base_DirectedRelationship="_rBs4cKUpEeykePlC7pxpcQ" base_Abstraction="_rBs4cKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_s-nREKUpEeykePlC7pxpcQ" base_DirectedRelationship="_s-kNwKUpEeykePlC7pxpcQ" base_Abstraction="_s-kNwKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_thCBoKUpEeykePlC7pxpcQ" base_DirectedRelationship="_tg9JIKUpEeykePlC7pxpcQ" base_Abstraction="_tg9JIKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_uCskQKUpEeykePlC7pxpcQ" base_DirectedRelationship="_uCqIAKUpEeykePlC7pxpcQ" base_Abstraction="_uCqIAKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_urYU4KUpEeykePlC7pxpcQ" base_DirectedRelationship="_urUqgKUpEeykePlC7pxpcQ" base_Abstraction="_urUqgKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_vYQB8KUpEeykePlC7pxpcQ" base_DirectedRelationship="_vYMXkKUpEeykePlC7pxpcQ" base_Abstraction="_vYMXkKUpEeykePlC7pxpcQ"/>
  <Requirements:Refine xmi:id="_v-Pq8KUpEeykePlC7pxpcQ" base_DirectedRelationship="_v-LZgKUpEeykePlC7pxpcQ" base_Abstraction="_v-LZgKUpEeykePlC7pxpcQ"/>
</xmi:XMI>
