Source: https://www.win.tue.nl/~aserebre/2IW80/2013-2014/07 - 2IW80 - Event-B.pdf