Snook, Colin and Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22/02/2010, Orford, Canada.