Source: https://stups.hhu-hosting.de/handbook/rodin/current/html/files/EventB-Summary.pdf