Added eventB-style sub-module

Added eventB-style sub-module