Modeling in Event-B - innbundet, Engelsk, 2010