Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2011) Quantitative Verification of System Safety in Event-B.  In: SERENE 2011.    (In Press)