Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Quantitative Verification of System Safety in Event-B. In Elena Troubitsyna, editor, Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Volume 6968 of Lecture Notes in Computer Science, pages 24-39, Springer, 2011. [doi]
Abstract is missing.