https://123dok.net/document/yr31m8oy-un-processus-de-developpement-event-b-pour-des-applications-distribuees.html