https://123dok.net/document/dzx9rdnz-event-b-development-process-distributed-bip-framework.html