<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<ch.ethz.eventb.decomposition.core.scDcpFile org.eventb.core.accurate="true" org.eventb.core.configuration="ch.ethz.eventb.decomposition.core.dcmp">
<ch.ethz.eventb.decomposition.core.scComponent ch.ethz.eventb.decomposition.core.scTarget="/Withdraw/Withdraw_4.bum" name="COMP" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.component#internal_component1"/>
<ch.ethz.eventb.decomposition.core.scConfiguration ch.ethz.eventb.decomposition.core.decomposeContext="MINIMAL_FLATTENED_CONTEXT" ch.ethz.eventb.decomposition.core.newProject="false" ch.ethz.eventb.decomposition.core.style="Shared events (B-style)" name="CONF" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.configuration#internal_configuration1"/>
<ch.ethz.eventb.decomposition.core.scSubComponent name="CONG" org.eventb.core.label="mATM_W" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1">
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="validCard" name="SUBCOMP_ELEM1" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements1"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="cardInAtm" name="SUBCOMP_ELEM2" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements2"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="atmWDAm" name="SUBCOMP_ELEM3" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements3"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="trans" name="SUBCOMP_ELEM4" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements4"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="atmCashA" name="SUBCOMP_ELEM5" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements5"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="withdrawOkMsg" name="SUBCOMP_ELEM6" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements6"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="withdrawFailMsg" name="SUBCOMP_ELEM7" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements7"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="recvRespWDOk" name="SUBCOMP_ELEM8" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements8"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="recvRespWDFail" name="SUBCOMP_ELEM9" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component1|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements9"/>
</ch.ethz.eventb.decomposition.core.scSubComponent>
<ch.ethz.eventb.decomposition.core.scSubComponent name="CONH" org.eventb.core.label="mBANK_W" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2">
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="bal" name="SUBCOMP_ELEM1" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements1"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="cardAcct" name="SUBCOMP_ELEM2" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements2"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="atmCash" name="SUBCOMP_ELEM3" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements3"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="withdrawOk" name="SUBCOMP_ELEM4" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements4"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="withdrawFail" name="SUBCOMP_ELEM5" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements5"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="atmWDAmB" name="SUBCOMP_ELEM6" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements6"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="cardInAtmB" name="SUBCOMP_ELEM7" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements7"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="recvReqWD" name="SUBCOMP_ELEM8" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component2|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements8"/>
</ch.ethz.eventb.decomposition.core.scSubComponent>
<ch.ethz.eventb.decomposition.core.scSubComponent name="CONI" org.eventb.core.label="mMW_W" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3">
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="atmWDAmM" name="SUBCOMP_ELEM1" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements4"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="cardInAtmM" name="SUBCOMP_ELEM2" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements5"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="sendReqWD" name="SUBCOMP_ELEM3" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements6"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="sendRespWDOk" name="SUBCOMP_ELEM4" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements7"/>
<ch.ethz.eventb.decomposition.core.scSubComponentElement ch.ethz.eventb.decomposition.core.subComponentElementName="sendRespWDFail" name="SUBCOMP_ELEM5" org.eventb.core.source="/Withdraw/SEDecompFile_Withdraw_4.dcp|ch.ethz.eventb.decomposition.core.dcpFile#SEDecompFile_Withdraw_4|ch.ethz.eventb.decomposition.core.subComponent#internal_sub-component3|ch.ethz.eventb.decomposition.core.subComponentElement#internal_elements8"/>
</ch.ethz.eventb.decomposition.core.scSubComponent>
</ch.ethz.eventb.decomposition.core.scDcpFile>
