328	  Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2011) Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach.   In:  Dependability and Computer Engineering: Concepts for Software-Intensive Systems.   IGI GLobal.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>