<?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.scRefinesMachine name="REF" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.refinesMachine#internal_refines1"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_0" org.eventb.core.scTarget="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes1"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_1" org.eventb.core.scTarget="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes2"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_2" org.eventb.core.scTarget="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes3" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.includeMachine#internal_includes3"/>
<ac.soton.composition.core.scComposesEvent name="INCL_3" org.eventb.core.label="INITIALISATION" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events1">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events1|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events1|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT3" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events1|ac.soton.composition.core.combinedEventMachine#internal_combines events3" org.eventb.core.target="INITIALISATION"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_4" org.eventb.core.label="RecvReqTransfer" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="RecvReqTransfer"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="RecvReqTransfer"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_5" org.eventb.core.label="TransferOK" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events3">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events3|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="TransferOK"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_6" org.eventb.core.label="SendRespTransferOk" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events4">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events4|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="SendRespTransferOk"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events4|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="SendRespTransferOk"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_7" org.eventb.core.label="TransferFails" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events5">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events5|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="TransferFails"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_8" org.eventb.core.label="SendRespTransferFail" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="SendRespTransferFail"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="SendRespTransferFail"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_9" org.eventb.core.label="Deposit" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events7">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mBank_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events7|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="Deposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events7|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="Deposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_:" org.eventb.core.label="SendReqTransfer" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="SendReqTransfer"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="SendReqTransfer"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_;" org.eventb.core.label="RecvRespTransferOk" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events9">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events9|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="RecvRespTransferOk"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events9|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="RecvRespTransferOk"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_=" org.eventb.core.label="RecvRespTransferFail" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events10">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events10|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="RecvRespTransferFail"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mMW_T" name="COMBEVT2" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events10|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="RecvRespTransferFail"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_&gt;" org.eventb.core.label="TransferOKAtm" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events11">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events11|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="TransferOKAtm"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_?" org.eventb.core.label="TransferFailsAtm" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events12">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Transfer][ATMBalTransferN]mATM_T" name="COMBEVT1" org.eventb.core.source="/Transfer/BalTransfer_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#BalTransfer_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events12|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="TransferFailsAtm"/>
</ac.soton.composition.core.scComposesEvent>
</ac.soton.composition.core.scComposedMachineFile>
