Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. - Syrine Aouadi; Arnaud Lanoix (MEDI Workshops, 2018)