<?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="Deposit_4" name="internal_refines1"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="Deposit_CO1" name="internal_sees1"/>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMDepositN" ac.soton.composition.core.target="mATM_D" 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="[ATMDepositN]mATM_D" name="internal_combines events1" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mBank_D" name="internal_combines events2" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mMW_D" 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="sendReqDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mATM_D" name="internal_combines events1" org.eventb.core.target="sendReqDeposit"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="sendReqDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mMW_D" name="internal_combines events2" org.eventb.core.target="sendReqDeposit"/>
</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="recvRespDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mATM_D" name="internal_combines events1" org.eventb.core.target="recvRespDeposit"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="recvRespDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mMW_D" name="internal_combines events2" org.eventb.core.target="recvRespDeposit"/>
</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="depositATM">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mATM_D" name="internal_combines events1" org.eventb.core.target="depositATM"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="depositATM"/>
</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="Transfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mATM_D" name="internal_combines events1" org.eventb.core.target="Transfer"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="Transfer"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mBank_D" name="internal_combines events2" org.eventb.core.target="Transfer"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMDepositN" ac.soton.composition.core.target="mBank_D" name="internal_includes2"/>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events6" org.eventb.core.convergence="0" org.eventb.core.label="recvReqDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mBank_D" name="internal_combines events1" org.eventb.core.target="recvReqDeposit"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="recvReqDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mMW_D" name="internal_combines events2" org.eventb.core.target="recvReqDeposit"/>
</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="depositB">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mBank_D" name="internal_combines events1" org.eventb.core.target="depositB"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="depositB"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events8" org.eventb.core.convergence="0" org.eventb.core.label="sendRespDeposit">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mBank_D" name="internal_combines events1" org.eventb.core.target="sendRespDeposit"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="sendRespDeposit"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMDepositN]mMW_D" name="internal_combines events2" org.eventb.core.target="sendRespDeposit"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMDepositN" ac.soton.composition.core.target="mMW_D" name="internal_includes3"/>
</ac.soton.composition.core.composedMachineFile>
