Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)