A Method Based on Meta-model for the Translation from UML into Event-B | IEEE Conference Publication | IEEE Xplore