<?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="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.refinesMachine#internal_refines1"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_0" org.eventb.core.scTarget="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.includeMachine#internal_includes1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.includeMachine#internal_includes1"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_1" org.eventb.core.scTarget="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.includeMachine#internal_includes2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.includeMachine#internal_includes2"/>
<ac.soton.composition.core.scIncludeMachine name="INCL_2" org.eventb.core.scTarget="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.includeMachine#internal_includes3" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_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="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events1">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mATM_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_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="[Deposit][ATMDepositN]mBank_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_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="[Deposit][ATMDepositN]mMW_D" name="COMBEVT3" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_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="sendReqDeposit" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mATM_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="sendReqDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mMW_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events2|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="sendReqDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_5" org.eventb.core.label="recvRespDeposit" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events3">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mATM_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events3|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="recvRespDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mMW_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events3|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="recvRespDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_6" org.eventb.core.label="depositATM" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events4">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mATM_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events4|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="depositATM"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_7" org.eventb.core.label="Transfer" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events5">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mATM_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events5|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="Transfer"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mBank_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events5|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="Transfer"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_8" org.eventb.core.label="recvReqDeposit" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mBank_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="recvReqDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mMW_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events6|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="recvReqDeposit"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_9" org.eventb.core.label="depositB" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events7">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mBank_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events7|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="depositB"/>
</ac.soton.composition.core.scComposesEvent>
<ac.soton.composition.core.scComposesEvent name="INCL_:" org.eventb.core.label="sendRespDeposit" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8">
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mBank_D" name="COMBEVT1" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8|ac.soton.composition.core.combinedEventMachine#internal_combines events1" org.eventb.core.target="sendRespDeposit"/>
<ac.soton.composition.core.scCombinedEventMachine ac.soton.composition.core.target="[Deposit][ATMDepositN]mMW_D" name="COMBEVT2" org.eventb.core.source="/Deposit/Deposit_4_cmp.bcp|ac.soton.composition.core.composedMachineFile#Deposit_4_cmp|ac.soton.composition.core.composesEvent#internal_composes events8|ac.soton.composition.core.combinedEventMachine#internal_combines events2" org.eventb.core.target="sendRespDeposit"/>
</ac.soton.composition.core.scComposesEvent>
</ac.soton.composition.core.scComposedMachineFile>
