Event-B/Extensions