An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine Thinker In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 119-124, 2009 , Milan, Italy