4.3.10 How can I create a Event-B Component?
Please check Section
2.4.2
to learn how to create a new Event-B component.