<?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.refinesMachine ac.soton.composition.core.target="BalTransfer_4" name="internal_refines1"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="BalTransfer_CO1" name="internal_sees1"/>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMBalTransferN" ac.soton.composition.core.target="mBank_T" name="internal_includes1"/>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events1" org.eventb.core.convergence="0" org.eventb.core.label="INITIALISATION">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events2" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events3" org.eventb.core.target="INITIALISATION"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events2" org.eventb.core.convergence="0" org.eventb.core.label="RecvReqTransfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="RecvReqTransfer"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvReqTransfer"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="RecvReqTransfer"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events3" org.eventb.core.convergence="0" org.eventb.core.label="TransferOK">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="TransferOK"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="TransferOK"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events4" org.eventb.core.convergence="0" org.eventb.core.label="SendRespTransferOk">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="SendRespTransferOk"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendRespTransferOk"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="SendRespTransferOk"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events5" org.eventb.core.convergence="0" org.eventb.core.label="TransferFails">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="TransferFails"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="TransferFails"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events6" org.eventb.core.convergence="0" org.eventb.core.label="SendRespTransferFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="SendRespTransferFail"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendRespTransferFail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="SendRespTransferFail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events7" org.eventb.core.convergence="0" org.eventb.core.label="Deposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mBank_T" name="internal_combines events1" org.eventb.core.target="Deposit"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="Deposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events2" org.eventb.core.target="Deposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMBalTransferN" ac.soton.composition.core.target="mATM_T" name="internal_includes2"/>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events8" org.eventb.core.convergence="0" org.eventb.core.label="SendReqTransfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events1" org.eventb.core.target="SendReqTransfer"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendReqTransfer"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="SendReqTransfer"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events9" org.eventb.core.convergence="0" org.eventb.core.label="RecvRespTransferOk">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events1" org.eventb.core.target="RecvRespTransferOk"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvRespTransferOk"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="RecvRespTransferOk"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events10" org.eventb.core.convergence="0" org.eventb.core.label="RecvRespTransferFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events1" org.eventb.core.target="RecvRespTransferFail"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvRespTransferFail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mMW_T" name="internal_combines events2" org.eventb.core.target="RecvRespTransferFail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events11" org.eventb.core.convergence="0" org.eventb.core.label="TransferOKAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events1" org.eventb.core.target="TransferOKAtm"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="TransferOKAtm"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events12" org.eventb.core.convergence="0" org.eventb.core.label="TransferFailsAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMBalTransferN]mATM_T" name="internal_combines events1" org.eventb.core.target="TransferFailsAtm"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="TransferFailsAtm"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMBalTransferN" ac.soton.composition.core.target="mMW_T" name="internal_includes3"/>
</ac.soton.composition.core.composedMachineFile>
