<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<ac.soton.composition.core.composedMachineFile org.eventb.core.configuration="ac.soton.composition.core.cmp" version="7">
<ac.soton.composition.core.composesEvent name="internal_element1" org.eventb.core.convergence="0" org.eventb.core.label="INITIALISATION">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name=")" org.eventb.core.target="INITIALISATION"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="true" ac.soton.composition.core.project="ATMproduct_TD" ac.soton.composition.core.target="ATM_TD" name="internal_element2"/>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="true" ac.soton.composition.core.project="ATMproduct_TD" ac.soton.composition.core.target="MW_TD" name="internal_element3"/>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="true" ac.soton.composition.core.project="ATMproduct_TD" ac.soton.composition.core.target="Bank_TD" name="internal_element4"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="MW_TD_CO" name="internal_element5"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="ATM_TD_CO" name="internal_element6"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="Bank_TD_CO" name="internal_element7"/>
<ac.soton.composition.core.composesEvent name="internal_element8" org.eventb.core.convergence="0" org.eventb.core.label="SendReqTransfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="SendReqTransfer"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="SendReqTransfer"/>
<ac.soton.composition.core.refinesEvent name=")" org.eventb.core.target="SendReqTransfer"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_element9" org.eventb.core.convergence="0" org.eventb.core.label="RecvRespTransferOk">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="RecvRespTransferOk"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="RecvRespTransferOk"/>
<ac.soton.composition.core.refinesEvent name=")" org.eventb.core.target="RecvRespTransferOk"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_element:" org.eventb.core.convergence="0" org.eventb.core.label="RecvRespTransferFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="RecvRespTransferFail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="RecvRespTransferFail"/>
<ac.soton.composition.core.refinesEvent name=")" org.eventb.core.target="RecvRespTransferFail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementA" org.eventb.core.convergence="0" org.eventb.core.label="TransferOKAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="TransferOKAtm"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementB" org.eventb.core.convergence="0" org.eventb.core.label="TransferFailsAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="TransferFailsAtm"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_element&gt;" org.eventb.core.convergence="0" org.eventb.core.label="sendReqDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="sendReqDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="sendReqDeposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_element?" org.eventb.core.convergence="0" org.eventb.core.label="recvRespDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="(" org.eventb.core.target="recvRespDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="'" org.eventb.core.target="recvRespDeposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_element@" org.eventb.core.convergence="0" org.eventb.core.label="depositATM">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]ATM_TD" name="'" org.eventb.core.target="depositATM"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementC" org.eventb.core.convergence="0" org.eventb.core.label="RecvReqTransfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="'" org.eventb.core.target="RecvReqTransfer"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="(" org.eventb.core.target="RecvReqTransfer"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementD" org.eventb.core.convergence="0" org.eventb.core.label="SendRespTransferOk">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="'" org.eventb.core.target="SendRespTransferOk"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="(" org.eventb.core.target="SendRespTransferOk"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementE" org.eventb.core.convergence="0" org.eventb.core.label="SendRespTransferFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="'" org.eventb.core.target="SendRespTransferFail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="(" org.eventb.core.target="SendRespTransferFail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementF" org.eventb.core.convergence="0" org.eventb.core.label="TransferOK">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="'" org.eventb.core.target="TransferOK"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementG" org.eventb.core.convergence="0" org.eventb.core.label="TransferFails">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="'" org.eventb.core.target="TransferFails"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementH" org.eventb.core.convergence="0" org.eventb.core.label="recvReqDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="'" org.eventb.core.target="recvReqDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="(" org.eventb.core.target="recvReqDeposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementI" org.eventb.core.convergence="0" org.eventb.core.label="sendRespDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]MW_TD" name="(" org.eventb.core.target="sendRespDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="'" org.eventb.core.target="sendRespDeposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent name="internal_elementJ" org.eventb.core.convergence="0" org.eventb.core.label="depositB">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMproduct_TD]Bank_TD" name="'" org.eventb.core.target="depositB"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.refinesMachine ac.soton.composition.core.target="abstract_machine" name="internal_elementK"/>
</ac.soton.composition.core.composedMachineFile>
