<?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">
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_sr3-oLZpEeyjzpg8hNaQkQ" name="LTI_TIMS_Integrity_SD">
        <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>
        <ownedComment xmi:type="uml:Comment" xmi:id="_f5iAMLlsEey4c63EuqrIcg">
          <body>REQ-LossTI-4&#xD;
REQ-LossTI-3&#xD;
REQ-LossTI-2</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 _2bgEkLc4EeyVmKe4N03hoQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_niCIQLZvEeyjzpg8hNaQkQ" name="TPR" represents="_niCvULZvEeyjzpg8hNaQkQ" coveredBy="_pFJg0LZvEeyjzpg8hNaQkQ _yKVjsLZvEeyjzpg8hNaQkQ _zTzGILZvEeyjzpg8hNaQkQ _Av6F8LZwEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_xIKVALZvEeyjzpg8hNaQkQ" name="TL" represents="_xIKVAbZvEeyjzpg8hNaQkQ" coveredBy="_yKWKwLZvEeyjzpg8hNaQkQ _zTyfELZvEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _fqpRELZ2Eeyjzpg8hNaQkQ _emga0Lc3EeyVmKe4N03hoQ"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_ADVT0LZwEeyjzpg8hNaQkQ" name="TM" represents="_ADV64LZwEeyjzpg8hNaQkQ" coveredBy="_Av6tALZwEeyjzpg8hNaQkQ _SyFDMLZ2Eeyjzpg8hNaQkQ _SyFqQLZ2Eeyjzpg8hNaQkQ _6NJfYLZ2Eeyjzpg8hNaQkQ _6NKGcLZ2Eeyjzpg8hNaQkQ _ezi2QLlxEey4c63EuqrIcg _eziPMLlxEey4c63EuqrIcg _x96oILlrEey4c63EuqrIcg _4zpJ0LlrEey4c63EuqrIcg _fqpRELZ2Eeyjzpg8hNaQkQ _7SON0Lc2EeyVmKe4N03hoQ _emga0Lc3EeyVmKe4N03hoQ _zzEX0Lc6EeyVmKe4N03hoQ _hc6FMLlxEey4c63EuqrIcg _hc5eILlxEey4c63EuqrIcg _zzE-4Lc6EeyVmKe4N03hoQ _DZBZAbc7EeyVmKe4N03hoQ _UYbgcLc7EeyVmKe4N03hoQ _na_NMLlxEey4c63EuqrIcg _na-mILlxEey4c63EuqrIcg _UYcHgLc7EeyVmKe4N03hoQ"/>
        <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="_x96oIblrEey4c63EuqrIcg _4zpJ0blrEey4c63EuqrIcg _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="_niCIQLZvEeyjzpg8hNaQkQ" 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="_ADVT0LZwEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _a9oMgLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_SyFqQLZ2Eeyjzpg8hNaQkQ" name="InteractionOperand0" covered="_ADVT0LZwEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _a9oMgLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6NJfYLZ2Eeyjzpg8hNaQkQ" name="Message31SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_6NI4ULZ2Eeyjzpg8hNaQkQ"/>
            <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_eziPMLlxEey4c63EuqrIcg" name="BehaviorExecutionSpecification46" covered="_ADVT0LZwEeyjzpg8hNaQkQ" finish="_ezi2QLlxEey4c63EuqrIcg" start="_6NJfYLZ2Eeyjzpg8hNaQkQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6NKGcLZ2Eeyjzpg8hNaQkQ" name="Message31ReceiveEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_6NI4ULZ2Eeyjzpg8hNaQkQ"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_ezi2QLlxEey4c63EuqrIcg" name="BehaviorExecutionSpecification46Finish" covered="_ADVT0LZwEeyjzpg8hNaQkQ" execution="_eziPMLlxEey4c63EuqrIcg"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_x96oILlrEey4c63EuqrIcg" name="Message43SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_x91IkLlrEey4c63EuqrIcg"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_x96oIblrEey4c63EuqrIcg" name="Message43ReceiveEvent" covered="_00kN4Lc2EeyVmKe4N03hoQ" message="_x91IkLlrEey4c63EuqrIcg"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4zpJ0LlrEey4c63EuqrIcg" name="Message44SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_4zoiwLlrEey4c63EuqrIcg"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4zpJ0blrEey4c63EuqrIcg" name="Message44ReceiveEvent" covered="_00kN4Lc2EeyVmKe4N03hoQ" message="_4zoiwLlrEey4c63EuqrIcg"/>
            <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="_ADVT0LZwEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _a9oMgLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ">
            <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="_d8CeYLZvEeyjzpg8hNaQkQ" 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="_ADVT0LZwEeyjzpg8hNaQkQ _d8CeYLZvEeyjzpg8hNaQkQ _niCIQLZvEeyjzpg8hNaQkQ _a9oMgLZvEeyjzpg8hNaQkQ _M5sI8LZ1Eeyjzpg8hNaQkQ _xIKVALZvEeyjzpg8hNaQkQ">
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zzEX0Lc6EeyVmKe4N03hoQ" name="Message40SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_zzDwwLc6EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_hc5eILlxEey4c63EuqrIcg" name="BehaviorExecutionSpecification46" covered="_ADVT0LZwEeyjzpg8hNaQkQ" finish="_hc6FMLlxEey4c63EuqrIcg" start="_zzEX0Lc6EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_hc6FMLlxEey4c63EuqrIcg" name="BehaviorExecutionSpecification46Finish" covered="_ADVT0LZwEeyjzpg8hNaQkQ" execution="_hc5eILlxEey4c63EuqrIcg"/>
            <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="_DZCAELc7EeyVmKe4N03hoQ" name="Message41ReceiveEvent" covered="_00kN4Lc2EeyVmKe4N03hoQ" message="_DZBZALc7EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_UYbgcLc7EeyVmKe4N03hoQ" name="Message43SendEvent" covered="_ADVT0LZwEeyjzpg8hNaQkQ" message="_UYa5YLc7EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_na-mILlxEey4c63EuqrIcg" name="ActionExecutionSpecification46" covered="_ADVT0LZwEeyjzpg8hNaQkQ" finish="_na_NMLlxEey4c63EuqrIcg" start="_UYbgcLc7EeyVmKe4N03hoQ"/>
            <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_na_NMLlxEey4c63EuqrIcg" name="ActionExecutionSpecification46Finish" covered="_ADVT0LZwEeyjzpg8hNaQkQ" execution="_na-mILlxEey4c63EuqrIcg"/>
            <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"/>
        <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"/>
        <message xmi:type="uml:Message" xmi:id="_x91IkLlrEey4c63EuqrIcg" name="Message43" messageSort="asynchCall" receiveEvent="_x96oIblrEey4c63EuqrIcg" sendEvent="_x96oILlrEey4c63EuqrIcg">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_ttMAAK55EeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_4zoiwLlrEey4c63EuqrIcg" name="Message44" messageSort="asynchCall" receiveEvent="_4zpJ0blrEey4c63EuqrIcg" sendEvent="_4zpJ0LlrEey4c63EuqrIcg">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_w_F1oK55EeyNmoFpmwcymA"/>
        </message>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_jhJYYLlyEey4c63EuqrIcg" name="LTI_DriverIntegrity_SD">
        <ownedComment xmi:type="uml:Comment" xmi:id="_uzZd0Ll0Eey4c63EuqrIcg">
          <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="_Dn5ngLl1Eey4c63EuqrIcg">
          <body>REQ-LossTI-6&#xD;
REQ-LossTI-8</body>
        </ownedComment>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_hGyZULlzEey4c63EuqrIcg" name="">
          <type xmi:type="uml:UseCase" href="Track_Status_Management.uml#_F6flQBRuEeyQN9odROAPWw"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="_koxSULlzEey4c63EuqrIcg" name="">
          <type xmi:type="uml:UseCase" href="Trains_Management.uml#_INQ5IBRuEeyQN9odROAPWw"/>
        </ownedAttribute>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_hGxLMLlzEey4c63EuqrIcg" name="TSM" represents="_hGyZULlzEey4c63EuqrIcg" coveredBy="_rNWZoLlzEey4c63EuqrIcg _rNZc8LlzEey4c63EuqrIcg _3l5DoLlzEey4c63EuqrIcg _3l5DoblzEey4c63EuqrIcg _YokaYLl0Eey4c63EuqrIcg _cikx0bl0Eey4c63EuqrIcg _malYwLl0Eey4c63EuqrIcg _oxmTcbl0Eey4c63EuqrIcg"/>
        <lifeline xmi:type="uml:Lifeline" xmi:id="_kowEMLlzEey4c63EuqrIcg" name="TM" represents="_koxSULlzEey4c63EuqrIcg" coveredBy="_rNWZoLlzEey4c63EuqrIcg _rNZc8LlzEey4c63EuqrIcg _O71PULl0Eey4c63EuqrIcg _O712YLl0Eey4c63EuqrIcg _etriALl1Eey4c63EuqrIcg _etq68Ll1Eey4c63EuqrIcg _YojzULl0Eey4c63EuqrIcg _cikx0Ll0Eey4c63EuqrIcg _oxmTcLl0Eey4c63EuqrIcg"/>
        <fragment xmi:type="uml:CombinedFragment" xmi:id="_rNWZoLlzEey4c63EuqrIcg" name="CombinedFragment5" covered="_kowEMLlzEey4c63EuqrIcg _hGxLMLlzEey4c63EuqrIcg" interactionOperator="alt">
          <operand xmi:type="uml:InteractionOperand" xmi:id="_rNZc8LlzEey4c63EuqrIcg" name="InteractionOperand0" covered="_kowEMLlzEey4c63EuqrIcg _hGxLMLlzEey4c63EuqrIcg">
            <fragment xmi:type="uml:CombinedFragment" xmi:id="_3l5DoLlzEey4c63EuqrIcg" name="CombinedFragment6" covered="_hGxLMLlzEey4c63EuqrIcg" interactionOperator="alt">
              <operand xmi:type="uml:InteractionOperand" xmi:id="_3l5DoblzEey4c63EuqrIcg" name="InteractionOperand0" covered="_hGxLMLlzEey4c63EuqrIcg">
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_O71PULl0Eey4c63EuqrIcg" name="Message6SendEvent" covered="_kowEMLlzEey4c63EuqrIcg" message="_O70oQLl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_etq68Ll1Eey4c63EuqrIcg" name="BehaviorExecutionSpecification12" covered="_kowEMLlzEey4c63EuqrIcg" finish="_etriALl1Eey4c63EuqrIcg" start="_O71PULl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_O712YLl0Eey4c63EuqrIcg" name="Message6ReceiveEvent" covered="_kowEMLlzEey4c63EuqrIcg" message="_O70oQLl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_etriALl1Eey4c63EuqrIcg" name="BehaviorExecutionSpecification12Finish" covered="_kowEMLlzEey4c63EuqrIcg" execution="_etq68Ll1Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_YojzULl0Eey4c63EuqrIcg" name="Message7SendEvent" covered="_kowEMLlzEey4c63EuqrIcg" message="_YojMQLl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_YokaYLl0Eey4c63EuqrIcg" name="Message7ReceiveEvent" covered="_hGxLMLlzEey4c63EuqrIcg" message="_YojMQLl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_cikx0Ll0Eey4c63EuqrIcg" name="Message8SendEvent" covered="_kowEMLlzEey4c63EuqrIcg" message="_cikKwLl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_cikx0bl0Eey4c63EuqrIcg" name="Message8ReceiveEvent" covered="_hGxLMLlzEey4c63EuqrIcg" message="_cikKwLl0Eey4c63EuqrIcg"/>
                <guard xmi:type="uml:InteractionConstraint" xmi:id="_3l5DorlzEey4c63EuqrIcg" name="guard">
                  <specification xmi:type="uml:LiteralString" xmi:id="_FX_hkLl0Eey4c63EuqrIcg" value="INTEGRITY_DRIVER_ACCEPTANCE == true"/>
                </guard>
              </operand>
              <operand xmi:type="uml:InteractionOperand" xmi:id="_malYwLl0Eey4c63EuqrIcg" name="InteractionOperand2" covered="_hGxLMLlzEey4c63EuqrIcg">
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_oxmTcLl0Eey4c63EuqrIcg" name="Message9SendEvent" covered="_kowEMLlzEey4c63EuqrIcg" message="_oxlFULl0Eey4c63EuqrIcg"/>
                <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_oxmTcbl0Eey4c63EuqrIcg" name="Message9ReceiveEvent" covered="_hGxLMLlzEey4c63EuqrIcg" message="_oxlFULl0Eey4c63EuqrIcg"/>
                <guard xmi:type="uml:InteractionConstraint" xmi:id="_mamm4Ll0Eey4c63EuqrIcg" name="guard"/>
              </operand>
            </fragment>
            <guard xmi:type="uml:InteractionConstraint" xmi:id="_rNZc8blzEey4c63EuqrIcg" name="guard">
              <specification xmi:type="uml:LiteralString" xmi:id="_xk5xkLlzEey4c63EuqrIcg" value="Q_LENGTH =Driver"/>
            </guard>
          </operand>
        </fragment>
        <message xmi:type="uml:Message" xmi:id="_O70oQLl0Eey4c63EuqrIcg" name="Stop integrityWaitTimer" messageSort="asynchCall" receiveEvent="_O712YLl0Eey4c63EuqrIcg" sendEvent="_O71PULl0Eey4c63EuqrIcg"/>
        <message xmi:type="uml:Message" xmi:id="_YojMQLl0Eey4c63EuqrIcg" name="Message7" messageSort="asynchCall" receiveEvent="_YokaYLl0Eey4c63EuqrIcg" sendEvent="_YojzULl0Eey4c63EuqrIcg">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_ttMAAK55EeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_cikKwLl0Eey4c63EuqrIcg" name="Message8" messageSort="asynchCall" receiveEvent="_cikx0bl0Eey4c63EuqrIcg" sendEvent="_cikx0Ll0Eey4c63EuqrIcg">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_w_F1oK55EeyNmoFpmwcymA"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="_oxlFULl0Eey4c63EuqrIcg" name="Message9" messageSort="asynchCall" receiveEvent="_oxmTcbl0Eey4c63EuqrIcg" sendEvent="_oxmTcLl0Eey4c63EuqrIcg">
          <signature xmi:type="uml:Signal" href="PerformingRail.uml#_mDo0sK55EeyNmoFpmwcymA"/>
        </message>
      </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="_PGAMoMYlEeyD4MjOW0IJUg">
        <addition xmi:type="uml:UseCase" href="Trains_Management.uml#_INQ5IBRuEeyQN9odROAPWw"/>
      </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" aggregation="shared" 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:Association" xmi:id="_Z3KCgLl2Eey4c63EuqrIcg" memberEnd="_Z3L3sLl2Eey4c63EuqrIcg _Z3L3sbl2Eey4c63EuqrIcg">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Z3LQoLl2Eey4c63EuqrIcg" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_Z3LQobl2Eey4c63EuqrIcg" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_Z3L3sLl2Eey4c63EuqrIcg" name="train localization unit" association="_Z3KCgLl2Eey4c63EuqrIcg">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_SyI2YLEMEeyVGPyNAHP5Cw"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="_Z3L3sbl2Eey4c63EuqrIcg" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_Z3KCgLl2Eey4c63EuqrIcg"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="_qoYVIL_mEeymoeQH_MWpfw" memberEnd="_qobYcL_mEeymoeQH_MWpfw _qob_gL_mEeymoeQH_MWpfw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_qoaxYL_mEeymoeQH_MWpfw" source="org.eclipse.papyrus">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_qoaxYb_mEeymoeQH_MWpfw" key="nature" value="UML_Nature"/>
      </eAnnotations>
      <ownedEnd xmi:type="uml:Property" xmi:id="_qobYcL_mEeymoeQH_MWpfw" name="train localization unit" association="_qoYVIL_mEeymoeQH_MWpfw">
        <type xmi:type="uml:Class" href="PerformingRail.uml#_SyI2YLEMEeyVGPyNAHP5Cw"/>
      </ownedEnd>
      <ownedEnd xmi:type="uml:Property" xmi:id="_qob_gL_mEeymoeQH_MWpfw" name="loss of train integrity" type="_6x1yoBRpEeyQN9odROAPWw" association="_qoYVIL_mEeymoeQH_MWpfw"/>
    </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="_yUHu0MyJEeyu84YmjOHnwA" name="Satisfy27" client="_sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3oxgD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_zKMcYM8UEeyfv7j_7ztKUw" name="Satisfy23" client="_sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3njYD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_0E04oM8UEeyfv7j_7ztKUw" name="Satisfy24" client="_sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3oKcD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_03z0wM8UEeyfv7j_7ztKUw" name="Satisfy25" client="_sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3p_oD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_111jQM8UEeyfv7j_7ztKUw" name="Satisfy26" client="_sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3oKcT1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_3WYwAM8UEeyfv7j_7ztKUw" name="Satisfy25" client="_jhJYYLlyEey4c63EuqrIcg">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3pYkD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_4F3FIM8UEeyfv7j_7ztKUw" name="Satisfy26" client="_jhJYYLlyEey4c63EuqrIcg">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3qmsD1iEeyAv_UCn311nQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Abstraction" xmi:id="_2UfVEM-LEeyaUf3v7lcZ3Q" name="Satisfy27" client="_LClTgDjYEeyQeMlHlxk6EA _sr3-oLZpEeyjzpg8hNaQkQ">
      <supplier xmi:type="uml:Class" href="Requirements.uml#_c3m8UD1iEeyAv_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:Satisfy xmi:id="_yU_RgMyJEeyu84YmjOHnwA" base_DirectedRelationship="_yUHu0MyJEeyu84YmjOHnwA" base_Abstraction="_yUHu0MyJEeyu84YmjOHnwA"/>
  <Requirements:Satisfy xmi:id="_zKTKEM8UEeyfv7j_7ztKUw" base_DirectedRelationship="_zKMcYM8UEeyfv7j_7ztKUw" base_Abstraction="_zKMcYM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_0E8NYM8UEeyfv7j_7ztKUw" base_DirectedRelationship="_0E04oM8UEeyfv7j_7ztKUw" base_Abstraction="_0E04oM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_038XoM8UEeyfv7j_7ztKUw" base_DirectedRelationship="_03z0wM8UEeyfv7j_7ztKUw" base_Abstraction="_03z0wM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_118Q8M8UEeyfv7j_7ztKUw" base_DirectedRelationship="_111jQM8UEeyfv7j_7ztKUw" base_Abstraction="_111jQM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_3WgEwM8UEeyfv7j_7ztKUw" base_DirectedRelationship="_3WYwAM8UEeyfv7j_7ztKUw" base_Abstraction="_3WYwAM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_4F79oM8UEeyfv7j_7ztKUw" base_DirectedRelationship="_4F3FIM8UEeyfv7j_7ztKUw" base_Abstraction="_4F3FIM8UEeyfv7j_7ztKUw"/>
  <Requirements:Satisfy xmi:id="_2Un38M-LEeyaUf3v7lcZ3Q" base_DirectedRelationship="_2UfVEM-LEeyaUf3v7lcZ3Q" base_Abstraction="_2UfVEM-LEeyaUf3v7lcZ3Q"/>
</xmi:XMI>
