Modeling in Event-B - inbunden, Engelska, 2010