312	  Mazzara, Manuel  (2011) On Methods for the Formal Specification of Fault Tolerant Systems.  In: DEPEND 2011.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>