https://1library.org/uk/docs/modularisation-in-event-b.19371846