Modeling In Event-B door Jean-Raymond Abrial