https://123dok.net/document/lzgp8r2z-introducing-probabilistic-reasoning-within-event-b.html