<?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="Withdraw_4" name="internal_refines1"/>
<ac.soton.composition.core.seesContext ac.soton.composition.core.target="Withdraw_CO1" name="internal_sees1"/>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMWithdrawN" ac.soton.composition.core.target="mATM_W" 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="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events2" org.eventb.core.target="INITIALISATION"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" 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="SendReqWithdraw">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="SendReqWithdraw"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendReqWithdraw"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="SendReqWithdraw"/>
</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="RecvRespWDOk">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="RecvRespWDOk"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvRespWDOk"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="RecvRespWDOk"/>
</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="RecvRespWDFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="RecvRespWDFail"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvRespWDFail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="RecvRespWDFail"/>
</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="withdrawOKAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="withdrawOKAtm"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="withdrawOKAtm"/>
</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="withdrawFailsAtm">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" name="internal_combines events1" org.eventb.core.target="withdrawFailsAtm"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="withdrawFailsAtm"/>
</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="[ATMWithdrawN]mATM_W" 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="[ATMWithdrawN]mBANK_W" name="internal_combines events2" org.eventb.core.target="Deposit"/>
</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="Transfer">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mATM_W" 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="[ATMWithdrawN]mBANK_W" 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="ATMWithdrawN" ac.soton.composition.core.target="mBANK_W" name="internal_includes2"/>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events9" org.eventb.core.convergence="0" org.eventb.core.label="RecvReqWD">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events1" org.eventb.core.target="RecvReqWD"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="RecvReqWD"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="RecvReqWD"/>
</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="withdrawOK">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events1" org.eventb.core.target="withdrawOK"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="withdrawOK"/>
</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="SendRespWDok">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events1" org.eventb.core.target="SendRespWDok"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendRespWDok"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="SendRespWDok"/>
</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="withdrawFail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events1" org.eventb.core.target="withdrawFail"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="withdrawFail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.composesEvent ac.soton.composition.core.composesEventExtended="false" name="internal_composes events13" org.eventb.core.convergence="0" org.eventb.core.label="SendRespWDfail">
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mBANK_W" name="internal_combines events1" org.eventb.core.target="SendRespWDfail"/>
<ac.soton.composition.core.refinesEvent name="internal_refines1" org.eventb.core.target="SendRespWDfail"/>
<ac.soton.composition.core.combinedEventMachine ac.soton.composition.core.target="[ATMWithdrawN]mMW_W" name="internal_combines events2" org.eventb.core.target="SendRespWDfail"/>
</ac.soton.composition.core.composesEvent>
<ac.soton.composition.core.includeMachine ac.soton.composition.core.includedInvariant="false" ac.soton.composition.core.project="ATMWithdrawN" ac.soton.composition.core.target="mMW_W" name="internal_includes3"/>
</ac.soton.composition.core.composedMachineFile>
