<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<ac.soton.composition.core.scComposedMachineFile org.eventb.core.configuration="ac.soton.composition.core.cmp">
<ac.soton.composition.core.scIncludeMachine name="INCL_0" org.eventb.core.scTarget="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element2"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_1" org.eventb.core.scTarget="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element3" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element3"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_2" org.eventb.core.scTarget="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element4" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.includeMachine#internal_element4"/>
<ac.soton.composition.core.scComposesEvent name="INCL_3" org.eventb.core.label="INITIALISATION" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element1">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element1|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element1|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT3" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element1|ac.soton.composition.core.combinedEventMachine#)" org.eventb.core.target="INITIALISATION"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_4" org.eventb.core.label="TransferOKAtm" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementA">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementA|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="TransferOKAtm"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_5" org.eventb.core.label="TransferFailsAtm" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementB">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementB|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="TransferFailsAtm"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_6" org.eventb.core.label="sendReqDeposit" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element&gt;">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element&gt;|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="sendReqDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element&gt;|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="sendReqDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_7" org.eventb.core.label="recvRespDeposit" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element?">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element?|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="recvRespDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element?|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="recvRespDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_8" org.eventb.core.label="depositATM" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element@">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]ATM_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_element@|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="depositATM"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_9" org.eventb.core.label="RecvReqTransfer" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementC">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementC|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="RecvReqTransfer"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementC|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="RecvReqTransfer"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_:" org.eventb.core.label="SendRespTransferOk" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementD">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementD|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="SendRespTransferOk"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementD|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="SendRespTransferOk"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_;" org.eventb.core.label="SendRespTransferFail" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementE">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementE|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="SendRespTransferFail"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementE|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="SendRespTransferFail"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_=" org.eventb.core.label="TransferOK" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementF">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementF|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="TransferOK"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_&gt;" org.eventb.core.label="TransferFails" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementG">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementG|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="TransferFails"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_?" org.eventb.core.label="recvReqDeposit" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementH">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementH|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="recvReqDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementH|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="recvReqDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_@" org.eventb.core.label="sendRespDeposit" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementI">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]MW_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementI|ac.soton.composition.core.combinedEventMachine#(" org.eventb.core.target="sendRespDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT2" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementI|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="sendRespDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_A" org.eventb.core.label="depositB" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementJ">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD][ATMproduct_TD]Bank_TD" name="COMBEVT1" org.eventb.core.source="/ATMproduct_TD/ATMfinalSEC.bcp|ac.soton.composition.core.composedMachineFile#ATMfinalSEC|ac.soton.composition.core.composesEvent#internal_elementJ|ac.soton.composition.core.combinedEventMachine#'" org.eventb.core.target="depositB"/>
</ac.soton.composition.core.scComposesEvent>
</ac.soton.composition.core.scComposedMachineFile>
