Updated Event-B style to v1.1.0