Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Towards Probabilistic Modelling in Event-B. Mery, Dominique and Merz, Stephan.
Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.275-289, 2010, Lecture Notes in Computer Science.
〈inria-00524594〉