A Case Study on Code Generation of an ERP System from Event-B | IEEE Conference Publication | IEEE Xplore