1. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)
2. Snook, C., Fritz, F., Illisaov, A.: An EMF framework for Event-B. In: Workshop on Tool Building in Formal Methods, ABZ Conference, Orford (2010)
3. Kolovos, D., Rose, L., Garcia-Dominguez, A., Paige, R.: The epsilon Book (2014).
http://www.Eclipse.org
,
http://www.eclipse.org/epsilon/doc/book/
4. Salehi, F.A., Butler, M., Rezazadeh, A.: Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. 27(3), 499–523 (2015)
5. Savicks, V., Snook, C.: A framework for diagrammatic modelling extensions in rodin. In: Rodin Workshop, Fontainbleau (2012)