326	  Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas   From Formal Specification in Event-B to Probabilistic Reliability Assessment.  In: DEPEND 2010, Venice.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>