Source: https://wiki.event-b.org/images/Rodin_Workshop_16_July_2009_2.pdf