eventB-style 1.1