Modeling in Event-B - sidottu, Englanti, 2010